Update semantics of security protocols

DOI10.1007/S11229-004-2247-0MaRDI QIDQ2386105zbMATH OpenOpenAlexFDO

Authors Arjen Hommersom, Erik de Vink, John-Jules 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

dynamic epistemic logicintelligent agentsKripke modelsreasoning about security protocols

Mathematics Subject Classification ID

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

Recommendations

• Toward reasoning about security protocols: a semantic approach
• Cryptography with updates
• Towards the correctness of security protocols
• Updatable tokenization: formal definitions and provably secure constructions
• Operational semantics and verification of security protocols.
• On the semantics of Alice \& Bob specifications of security protocols
• Cross-tool semantics for protocol security goals
• On correctness of dynamic protocol update
• Updatable encryption with post-compromise security

Cites work

• A calculus for cryptographic protocols: The spi calculus
• A semantics for a logic of authentication (extended abstract)
• scientific article; zbMATH DE number 1537935 (Why is no real title available?)
• scientific article; zbMATH DE number 2087350 (Why is no real title available?)
• Iterated Belief Change in Multi-Agent Systems
• On the security of public key protocols
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(10)

• Dynamic update with probabilities
• Interaction and causality in digital signature exchange protocols
• Towards an awareness-based semantics for security protocol analysis
• Toward reasoning about security protocols: a semantic approach
• Logics of rational interaction
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• Hidden protocols: modifying our expectations in an evolving world
• Challenges for decidable epistemic logics from security protocols
• Refinement of Kripke Models for Dynamics
• To know or not to know: Epistemic approaches to security protocol verification

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2386105)