Update semantics of security protocols

Synthese

Volumn 142, Issue 2, 2004, Pages 229-267

  Hommersom, Arjen ^a   Meyer, John Jules ^b   De Vink, Erik ^c  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33751178365     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/s11229-004-2247-0     Document Type: Article

References (23)

1. Abadi, M. and A. Gordon: 1999, 'A calculus for cryptographic protocols: The spi calculus', Information and Computation 148, 1-70.
2. Abadi, M. and M. Tuttle: 1991, 'A semantics for a logic of authentication', in Proc. PODC'91, ACM, pp. 201-216.
3. Agray, N., W. van der Hoek, and E. P. de Vink: 2001, 'On BAN logics for industrial security protocols', in B. Dunin-Keplicz and E. Nawarecki, (eds.), From Theory to Practice in Multi-Agent Systems, LNAI 2296, pp. 29-38.
4. Anderson, R. J.: 2001, Security Engineering: A Guide to Building Dependable Distributed Systems, Wiley.
5. Baltag, A.: 2002, 'A logic for suspicous players: Epistemic actions and belief-updates in games', Bulletin of Economic Research 54, 1-46.
6. Baltag, A.: and L. S. Moss: 2004, 'Logics for epistemic programs', Synthese: Knowledge, Rationality and Action 139, 165-224.
7. Baltag, A., L. S. Moss, and S. Solecki: 1998, 'The logic of public announcements, common knowledge and private suspicions', in Itzhak Gilboa, (ed.), Proc. TARK'98, pp. 43-56.
8. Bleeker, A. and L. Meertens: 1997, 'A semantics for BAN logic', in Proceedings DIMACS Workshop on Design and Formal Verification of Protocols, DIMACS, Rutgers University, http://dimacs.rutgers.edu/Workshops/Security.
9. Burrows, M., M. Abadi, and R. M. Needham: 1990, 'A logic of authentication', ACM Transactions on Computer Systems 8, 16-36.
10. Clark, J. A. and J. L Jacob: 1997, 'A survey of authentication protocols 1.0', Technical Report, University of York.
11. Dolev, D. and A. C. Yao: 1983, 'On the security of public-key protocols', IEEE Transaction on Information Theory 29, 198-208.
12. Gerbrandy, J.: 1997, 'Dynamic epistemic logic', Technical Report LP- 97-04, ILLC.
13. Gerbrandy, J.: 1999, 'Bisimulations on Planet Kripke', PhD thesis, ILLC Dissertation Series 1999-01, University of Amsterdam.
14. Hommersom, A. J.: 2003, 'Reasoning about security', Master's thesis, Universiteit Utrecht.
15. Kessler, V. and H. Neumann: 1998, 'A sound logic for analyzing electronic commerce protocols', in J. -J. Quisquater, Y. Deswarte, C. Meadows, and D. Gollman (eds.), Proc. ESORICS'98, LNCS 1485, pp. 345-360.
16. Kooi, B.: 2003, 'Knowledge, Chance, and Change', PhD thesis, ILLC Dissertation Series 2003-01, University of Groningen.
17. Lowe, G.: 1996, 'Breaking and fixing the Needham-Schroeder public-key protocol using FOR', Software - Concepts and Tools 17, 93-102.
18. Roorda, J.-W., W. van der Hoek, and J.-J. Ch Meyer: 2002, 'Iterated belief change in multi-agent systems', in Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems: Part 2.
19. Schneier, B.: 2000, Secrets and Lies: Digital Security in a Networked World, Wiley.
20. Stubblebine, S. G. and R. N. Wright: 2002, 'An authentication logic with formal semantics supporting synchronization, revocation and recency', IEEE Transactions on Software Engineering 28, 256-285.
21. van Ditmarsch, H. P.: 2000, 'Knowledge games', PhD thesis, ILLC Dissertation Series 2000-06, University of Groningen.
22. van Ditmarsch, H. P.: 2001, 'The semantics of concurrent knowledge actions', in M. Pauly and G. Sandu, (eds.), Proc. ESSLLI Workshop on Logic and Games, Helsinki.
23. Wedel, G. and V. Kessler: 1996, 'Formal semantics for authentication logics', in E. Bertino, H. Kurth, G. Martello, and E. Montolivo, (eds.), Proc. ESORICSW, LNCS 1146, pp. 219-241.