Update semantics of security protocols

DOI10.1007/s11229-004-2247-0zbMath1072.03019OpenAlexW2808422107MaRDI 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

zbMATH Keywords

Kripke modelsintelligent agentsdynamic epistemic logicreasoning about security protocols

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Data encryption (aspects in computer science) (68P25) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Related Items (5)

Logics of Rational Interaction ⋮ Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Dynamic update with probabilities ⋮ Refinement of Kripke Models for Dynamics

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)

This page was built for publication: Update semantics of security protocols