DocumentCode
1823330
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
fYear
1993
fDate
24-26 May 1993
Firstpage
178
Lastpage
194
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/RISP.1993.287633
Filename
287633
Link To Document