Towards an awareness-based semantics for security protocol analysis

DOI10.1016/S1571-0661(04)00242-7MaRDI QIDQ2841215zbMATH OpenOpenAlexWikidataFDO

Authors Rafael Accorsi, Luca Viganò, David 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

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

Recommendations

• Toward reasoning about security protocols: a semantic approach
• Information based reasoning about security protocols
• Update semantics of security protocols
• Analysis of security protocols as open systems
• To know or not to know: Epistemic approaches to security protocol verification

Cites work

• A semantics for a logic of authentication (extended abstract)
• Belief, awareness, and limited reasoning
• scientific article; zbMATH DE number 1487488 (Why is no real title available?)
• scientific article; zbMATH DE number 757646 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Isabelle. A generic theorem prover
• On the security of public key protocols

Cited in

(4)

• Toward reasoning about security protocols: a semantic approach
• An epistemic foundation for authentication logics (extended abstract)
• To know or not to know: Epistemic approaches to security protocol verification
• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Towards an awareness-based semantics for security protocol analysis

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