Title :
On unifying some cryptographic protocol logics
Author :
Syverson, Paul F. ; Van Oorschot, Paul C.
Author_Institution :
Code 5543, Naval Res. Lab., Washington, DC, USA
Abstract :
We present a logic for analyzing cryptographic protocols. This logic encompasses a unification of four of its predecessors in the BAN family of logics, namely those given by Li Gong et al. (1990); M. Abadi, M. Tuttle (1991); P.C. van Oorschot (1993); and BAN itself (M. Burrows et al., 1989). We also present a model-theoretic semantics with respect to which the logic is sound. The logic presented captures all of the desirable features of its predecessors and more; nonetheless, it accomplishes this with no more axioms or rules than the simplest of its predecessors
Keywords :
cryptography; formal logic; message authentication; protocols; BAN family; axioms; cryptographic protocol logics; model-theoretic semantics; rules; Authentication; Body sensor networks; Computational modeling; Computer science; Cryptographic protocols; Cryptography; Drives; Laboratories; Logic design;
Conference_Titel :
Research in Security and Privacy, 1994. Proceedings., 1994 IEEE Computer Society Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-5675-1
DOI :
10.1109/RISP.1994.296595
