DocumentCode
1994267
Title
AUTLOG-an advanced logic of authentication
Author
Kessler, Volker ; Wedel, Gabriele
Author_Institution
Siemens AG, Munich, Germany
fYear
1994
fDate
14-16 Jun 1994
Firstpage
90
Lastpage
99
Abstract
We present a modified version of the BAN logic which is implemented in PROLOG. The modifications are motivated by the analysis of a lot of protocols. We analyze a challenge-response protocol and its dual version in order to show the advantages of the modified logic. The analysis shows an interesting difference between two protocols which seem to be very similar. Finally, we discuss the inability of the logic to handle parallel protocol runs
Keywords
cryptography; formal logic; logic programming; message authentication; protocols; AUTLOG; BAN logic; PROLOG; advanced logic; authentication; challenge-response protocol; dual version; modified logic; modified version; parallel protocol runs; Authentication; Body sensor networks; Construction; Cryptographic protocols; Failure analysis; Logic; Tin;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings
Conference_Location
Franconia, NH
ISSN
1063-6900
Print_ISBN
0-8186-6230-1
Type
conf
DOI
10.1109/CSFW.1994.315944
Filename
315944
Link To Document