Formal semantics for authentication logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1146, Issue , 1996, Pages 219-241

  Wedel, Gabriele ^a   Kessler, Volker ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

Cryptographic protocols; Formal verification; Key management; Logic of authentication

Indexed keywords

AUTHENTICATION; FORMAL METHODS; FORMAL VERIFICATION; NETWORK PROTOCOLS; SECURITY SYSTEMS; SEMANTICS;

AUTHENTICATION LOGIC; AUTHENTICATION PROTOCOLS; BAN-LIKE LOGIC; CRYPTOGRAPHIC PROTOCOLS; FORMAL SEMANTICS; KEY MANAGEMENT; POSSIBLE WORLDS;

COMPUTER CIRCUITS;

EID: 84949768259     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61770-1_39     Document Type: Conference Paper

References (11)

1. M. Abadi, M. Tuttle, “A Semantics for a Logic of Authentication,” Proc. o.f the AGM Symposium of Principles of Distributed Computing, 1991, 201-216.
2. M. Burrows, M. Abadi, R. Needham, A Logic of Authentication, Report 39 Digital Systems Research Center, Pao Alto, California, 1989.
3. Chellas, Modal Logic, Cambridge University Press, Cambridge, England, 1980.
4. L. Chen, D. Gollmann, Y. Han, C. Mitchell, Formal Verification of a Mutual Authentication Protocol, Royal Holloway, University of London 3GS3/IREP/ RHUL/032/A(draft), 1995.
5. R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning about knowledge, MIT Press, Cambridge, Mass., 1995.
6. L. Gong, R. Needham, R. Yahalom, “Reasoning about Belief in Cryptographic Protocols,” Proc. of the 1990 IEEE Syrup. on Research in Security and Privacy, 234-248.
7. V. Kessler, G. Wedel, “AUTLOG - An Advanced Logic of Authentication,” Proc. of the Computer Security Foundations Workshop VII, Franconia, IEEE Computer Society Press 1994, 90-99.
8. ETSI SMG/SG/TD 73/95 Protocols for UMTS Providing Mutual Authentication and Key Establishment Using Asymmetric Techniques.
9. P. Syverson, P. van Oorschot, “On Unifying Some Cryptographic Protocol Logics”, Proc. of the IEEE Computer Society Symp. on Security and Privacy 1994, 14-28.
10. P. Syverson, P. van Oorschot, A Unified Cryptographic Protocol Logic, Unpublished preprint, March 1996.
11. G. Wedel, Formale Semantikfür Authentifikationslogiken, Diplomarbeit FB Mathematik der RWTH Aachen, Nov. 1995.