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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

Keywords

Computer scienceCryptographyCryptographic protocolCryptographic primitiveComputer security

Affiliated Institutions

Related Publications

Communication Theory of Secrecy Systems*

Claude E. Shannon

THE problems of cryptography and secrecy systems furnish an interesting application of communication theory. <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="htt...

1949 Bell System Technical Journal 9088 citations

Publication Info

Year
2002
Type
article
Volume
23
Pages
219-226
Citations
34
Access
Closed

External Links

View on DOI.org

Social Impact

Altmetric
PlumX Metrics

Social media, news, blog, policy document mentions

Citation Metrics

34
OpenAlex

Cite This

Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine et al. (2002). Logics for cryptographic protocols-virtues and limitations. , 23 , 219-226. https://doi.org/10.1109/csfw.1991.151591

Identifiers

DOI
10.1109/csfw.1991.151591