Title :
Logics for cryptographic protocols-virtues and limitations
Author :
Gligor, V.D. ; Kailar, R. ; Stubblebine, S. ; Gong, L.
Author_Institution :
Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
Abstract :
The authors discuss the virtues and limitations of several logics for cryptographic protocols focusing primarily on the logics of authentication. They emphasize the scope limitations of these logics rather than their virtues because: (1) their virtues to be better understood and accepted than their limitations; and (2) they hope to stimulate further research that will expand their scope
Keywords :
cryptography; formal logic; protocols; authentication; cryptographic protocols; logics; scope limitations; Authentication; Computer science; Cryptographic protocols; Cryptography; Educational institutions; Logic; Privacy; Security; System testing;
Conference_Titel :
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2215-6
DOI :
10.1109/CSFW.1991.151591
