A semantics for a logic of authentication (extended abstract)

DOI10.1145/112600.112618zbMath1314.68019OpenAlexW2077025369MaRDI QIDQ5255820

Mark R. Tuttle, Martín Abadi

Publication date: 19 June 2015

Published in: Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/112600.112618

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Logics of knowledge and belief (including belief change) (03B42) Distributed systems (68M14) Authentication, digital signatures and secret sharing (94A62)

Related Items (23)

Three systems for cryptographic protocol analysis ⋮ Update semantics of security protocols ⋮ Joshua Guttman: pioneering strand spaces ⋮ A (restricted) quantifier elimination for security protocols ⋮ A formal language for cryptographic protocol requirements ⋮ Formal semantics for authentication logics ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Unnamed Item ⋮ An omniscience-free temporal logic of knowledge for verifying authentication protocols ⋮ The reactive simulatability (RSIM) framework for asynchronous systems ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Proving possession of arbitrary secrets while not giving them away: New protocols and a proof in GNY logic ⋮ Vulnerability analysis of CSP based on stochastic game theory ⋮ Exploring the Space of Digital Evidence – Position Paper ⋮ Authentication and delegation with smart-cards ⋮ Automatic verification of cryptographic protocols with SETHEO ⋮ Towards an Awareness-Based Semantics for Security Protocol Analysis ⋮ Abstract Interpretation for Proving Secrecy Properties in Security Protocols ⋮ Analysis of security protocols as open systems ⋮ A new logic for electronic commerce protocols ⋮ Abstractions Preserving Parameter Confidentiality ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Belief as defeasible knowledge

This page was built for publication: A semantics for a logic of authentication (extended abstract)