Title :
Using Formal Verification Techniques to Analyze Encryption Protocols
Author :
Kemmerer, Richard A.
Abstract :
This paper presents an approach to analyzing Encryption protocols using machine aided formal verification techniques. The desirable properties that a protocol is to preserve are expressed as state invariants and the theorems that need to be proved to guarantee that the cryptographic facility satisfies the invariants are automatically generated by the verification system. A formal specification of an example system is presented, and a weakness that was revealed by testing the formal specification is discussed.
Keywords :
Encryption; Formal specifications; Protocols; Testing; Transforms;
Conference_Titel :
Security and Privacy, 1987 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0771-8
DOI :
10.1109/SP.1987.10005