Title :
AUTLOG-an advanced logic of authentication
Author :
Kessler, Volker ; Wedel, Gabriele
Author_Institution :
Siemens AG, Munich, Germany
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;
Conference_Titel :
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-6230-1
DOI :
10.1109/CSFW.1994.315944
