DocumentCode :
2562887
Title :
Using Formal Verification Techniques to Analyze Encryption Protocols
Author :
Kemmerer, Richard A.
fYear :
1987
fDate :
27-29 April 1987
Firstpage :
134
Lastpage :
134
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Security and Privacy, 1987 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
ISSN :
1540-7993
Print_ISBN :
0-8186-0771-8
Type :
conf
DOI :
10.1109/SP.1987.10005
Filename :
6234884
Link To Document :
بازگشت