Title :
A semantic model for authentication protocols
Author :
Woo, Thomas Y C ; Lam, Simon S.
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Abstract :
The authors specify authentication protocols as formal objects with precise syntax and semantics, and define a semantic model that characterizes protocol executions. They have identified two basic types of correctness properties, namely, correspondence and secrecy; that underlie the correctness concerns of authentication protocols. Assertions for specifying these properties, and a formal semantics for their satisfaction in the semantic model are defined. The Otway-Rees protocol is used to illustrate the semantic model and the basic correctness properties
Keywords :
message authentication; protocols; Otway-Rees protocol; authentication protocols; correctness properties; correspondence; formal objects; formal semantics; secrecy; semantic model; semantics; syntax; Authentication; Body sensor networks; Communication system security; Computer errors; Computer security; Contracts; Cryptography; Logic; Protocols;
Conference_Titel :
Research in Security and Privacy, 1993. Proceedings., 1993 IEEE Computer Society Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-3370-0
DOI :
10.1109/RISP.1993.287633
