Logics for cryptographic protocols-virtues and limitations
Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine, L. Gong · 2002
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.>