Formal semantics for authentication logics

DOI10.1007/3-540-61770-1_39zbMATH Open1493.68051OpenAlexW2123503098MaRDI QIDQ5096417FDOQ5096417

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

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)

zbMATH Keywords

formal verificationcryptographic protocolskey managementlogic of authentication

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A semantics for a logic of authentication (extended abstract)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A quantifier-free first-order knowledge logic of authentication
• Abstractions Preserving Parameter Confidentiality
• Knowledge structure approach to verification of authentication protocols
• Title not available (Why is that?)
• A formal framework for authentication
• Title not available (Why is that?)
• Title not available (Why is that?)

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)