- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Update Semantics of Security Protocols
Synthese 142 (2):229 - 267 (2004)
Abstract
We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agent's beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocolOther Versions
No versions found
My notes
Similar books and articles
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.
Hidden protocols: Modifying our expectations in an evolving world.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.
To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.
LTL model checking for security protocols.Alessandro Armando, Roberto Carbone & Luca Compagna - 2009 - Journal of Applied Non-Classical Logics 19 (4):403-429.
Computational Representation of Practical Argument.Katie Atkinson, Trevor Bench-Capon & Peter McBurney - 2006 - Synthese 152 (2):157-206.
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis.Carlos Caleiro, Luca Viganò & David Basin - 2005 - Logic Journal of the IGPL 13 (6):637-663.
Verifying epistemic protocols under common knowledge.Yanjing Wang, Lakshmanan Kuppusamy & Jan van Eijck - 2009 - Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - Tark ’09:257--266.
Verifying one hundred prisoners and a lightbulb.Hans van Ditmarsch & Jan van Eijck - 2010 - Journal of Applied Non-Classical Logics 20 (3):173-191.
Intensional Protocols for Dynamic Epistemic Logic.Hanna S. van Lee, Rasmus K. Rendsvig & Suzanne van Wijk - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.
Analytics
Added to PP
2009-01-28
Downloads
69 (#301,274)
6 months
10 (#381,237)
2009-01-28
Downloads
69 (#301,274)
6 months
10 (#381,237)
Historical graph of downloads
Citations of this work
Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.
Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.
References found in this work
Logics for epistemic programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.
Iterated Belief Change in Multi-Agent Systems.Jan-Willem Roorda, Wiebe van der Hoek & John-Jules Meyer - 2003 - Logic Journal of the IGPL 11 (2):223-246.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-f8568656d-d9z9s uwo