Formal semantics for authentication logics

DOI10.1007/3-540-61770-1_39zbMath1493.68051OpenAlexW2123503098MaRDI QIDQ5096417

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

formal verificationcryptographic protocolskey managementlogic of authentication

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Abstractions Preserving Parameter Confidentiality

Cites Work

• Unnamed Item
• Unnamed Item
• A semantics for a logic of authentication (extended abstract)

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