Towards an Awareness-Based Semantics for Security Protocol Analysis

DOI10.1016/S1571-0661(04)00242-7zbMath1268.94022OpenAlexW2046551143WikidataQ115012797 ScholiaQ115012797MaRDI QIDQ2841215

Luca Viganò, Rafael Accorsi, David A. Basin

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00242-7

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (3)

To know or not to know: Epistemic approaches to security protocol verification ⋮ Unnamed Item ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

Uses Software

• Isabelle

Cites Work

• Belief, awareness, and limited reasoning
• Isabelle. A generic theorem prover
• On the security of public key protocols
• A semantics for a logic of authentication (extended abstract)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards an Awareness-Based Semantics for Security Protocol Analysis