|Title||The Logic of Authentication Protocols|
|Publication Type||Conference Proceedings|
|Year of Publication||2001|
|Authors||Syverson, P., and I. Cervesato|
|Conference Name||Foundations of Security Analysis and Design --- FOSAD'00|
|Volume||Springer-Verlag LNCS 2171|
The rationale of authentication has been a topic of study for about a decade and a half. First attempts at formal analysis of authentication protocols were not using logics per se, but were certainly logical. Millen's Interrogator was a Prolog based tool specifically designed for authentication protocol analysis that functioned essentially as a special purpose model checker. Kemmerer used the general purpose formal specification language Ina Jo and an accompanying symbolic execution tool Inatest to specify and analyze protocols.
|NRL Publication Release Number|| |