Questions tagged [formal-verification]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
2answers
56 views

Get security certificate for secure Laptops etc

I am learning a bit about IT-Security and I wonder if there is a concept where you can get certificates for a specific device that approves the device is safe and not compromised. Lets say you want ...
0
votes
0answers
26 views

Most accessible yet secure way to verify a user over the phone who has an account online

We have a service where people register online and log fairly sensitive records. They might want to phone up and ask for a status update on these records. At the time they are calling, they may not ...
1
vote
0answers
33 views

Formal verification of security protocols

When you try to verify security protocols you have to do a lot of different steps like formalizing a simpler version based on a extremely complex real protocol using some extended Dolev Yao model. ...
1
vote
1answer
94 views

Automated tools for applying formal methods to verify security policy in existing software

I am new to the Formal Methods arena, but I feel I have an educated grasp on its applications. However, I only seem to encounter formal methods as applied to the development process, as the software ...
-1
votes
2answers
127 views

What is the best formal method to prove the privacy (anonymity) of a security protocol

I am studying about TOR. I require to formally verify that the involved protocols provide anonymity. However, I could not find a suitable formalism of anonymity. If there exist any formulation/...
12
votes
7answers
3k views

How does formal verification guarantee secure, error-free code?

I've read that code is formally verified by constructing a mathematical model of the code, and then a formal proof is provided to demonstrate that this model meets certain requirements. How does ...