Formal semantics for authentication logics

DOI10.1007/3-540-61770-1_39MaRDI QIDQ5096417zbMATH OpenOpenAlexFDO

Authors Gabriele Wedel, Volker Kessler

Publication date 16 August 2022

Published in Computer Security — ESORICS 96 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61770-1_39

zbMATH Keywords

cryptographic protocolsformal verificationkey managementlogic of authentication

Mathematics Subject Classification ID

Logic in computer science (03B70) Network protocols (68M12) Computer security (68M25) Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 2080723
• A logic of authentication
• A quantifier-free first-order knowledge logic of authentication
• scientific article; zbMATH DE number 1330437
• An epistemic foundation for authentication logics (extended abstract)

Cites work

• A semantics for a logic of authentication (extended abstract)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)

Cited in

(10)

• scientific article; zbMATH DE number 4215344 (Why is no real title available?)
• An epistemic foundation for authentication logics (extended abstract)
• scientific article; zbMATH DE number 1330437 (Why is no real title available?)
• scientific article; zbMATH DE number 2080723 (Why is no real title available?)
• scientific article; zbMATH DE number 2087350 (Why is no real title available?)
• A quantifier-free first-order knowledge logic of authentication
• A formal framework for authentication
• A formal semantics for SPKI
• Abstractions preserving parameter confidentiality
• Knowledge structure approach to verification of authentication protocols

This page was built for publication: Formal semantics for authentication logics

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