On BAN logics for industrial security protocols

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

Volumn 2296, Issue , 2002, Pages 29-

  Agray, Nesria ^a   van der Hoek, Wiebe ^a,b   de Vink, Erik ^c,d  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^d LEIDEN UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; NETWORK SECURITY; SECURITY SYSTEMS;

BAN LOGIC; CASE-STUDIES; INDUSTRIAL STRENGTH; SECURITY ANALYSIS; SECURITY PROTOCOLS; SEMANTICAL FOUNDATIONS;

MULTI AGENT SYSTEMS;

EID: 57949097882     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45941-3_3     Document Type: Conference Paper

References (16)

1. M. Abadi and M. Tuttle, A Semantics for a Logic of Authentication, in Proceedings of the ACM Symposium on Principles of Distributed Computing, p. 201–216, 1991.
2. N. Agray, The BAN Approach to Formal Verification: Authentication in GSM and SET, Master Thesis, Utrecht University Number INF/SCR-01-09 and KPN Research, Leidschendam (2001).
3. A. Bleeker and L. Meertens, A Semantics for BAN Logic, Proc. DIMACS workshop on Design and Formal Verification of Protocols, 1997, http://dimacs.rutgers.edu/Workshops/Security/program2/program.html.
4. M. Burrows, M. Abadi and R. Needham, A Logic of Authentication, ACM Transactions on Computer Systems, vol. 8, p. 18–36, 1990.
5. H. van Ditmarsch, Knowledge Games. PhD. thesis, Groningen, 2000, available at http://tcw2.ppsw.rug.nl/~hans.
6. R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi, Reasoning About Knowledge, MIT Press, 1995.
7. M. Fasli, On Commitments, Roles and Obligations. This volume.
8. M. Fitting and R. Mendelsohn, First order modal logic, Kluwer, 1998.
9. L. Gong, R. Needham and R. Yahalom, Reasoning about Belief in Cryptographic Protocol Analysis, Proc. IEEE Symp. on Research in Security and Privacy, p. 234–248, 1990.
10. H. Gunnar, GSM Networks: Protocols, Terminology, and Implementations, Artech House 1999.
11. J. Y. Halpern and L. D. Zuck, A Little Knowledge Goes a Long Way: Simple Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols, Proc. 6th ACM Symp. on Principles of Distributed Computing, 1987, p. 268–280.
12. J.-J. Ch. Meyer and W. van der Hoek, Epistemic Logic for AI and Computer Science, Cambridge University Press, 1995.
13. The SET Standard Book 2: Programmer’s Guide, version 1. 0, SETCO 1997, www.setco.org.
14. F. Stulp and R. Verbrugge, A knowledge-based algorithm for the Internet protocol TCP, to appear in the Bulletin of Economic Research, 2001. Also at http://tcw2.ppsw.rug.nl/prepublications
15. P. Syverson, The Use of Logic in the Analysis of Cryptographic Protocols, in Proc. IEEE Symp. on Research in Security and Privacy, 1991.
16. G. Wedel and V. Kessler, Formal Semantics for Authentication Logics, Proc. ESORICS’96, p. 219–241, 1996.