Update semantics of security protocols
From MaRDI portal
Publication:2386105
DOI10.1007/s11229-004-2247-0zbMath1072.03019MaRDI QIDQ2386105
E. P. de Vink, Arjen Hommersom, John-Jules Ch. Meyer
Publication date: 22 August 2005
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-004-2247-0
68T27: Logic in artificial intelligence
68P25: Data encryption (aspects in computer science)
03B42: Logics of knowledge and belief (including belief change)
03B70: Logic in computer science
Related Items
Refinement of Kripke Models for Dynamics, To know or not to know: Epistemic approaches to security protocol verification, Dynamic update with probabilities, Logics of Rational Interaction, Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Cites Work
- Unnamed Item
- Unnamed Item
- A calculus for cryptographic protocols: The spi calculus
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- On the security of public key protocols
- Iterated Belief Change in Multi-Agent Systems
- A semantics for a logic of authentication (extended abstract)