The logic of authentication protocols

DOI10.1007/3-540-45608-2_2MaRDI QIDQ4798026zbMATH OpenFDO

Authors Paul Syverson, Iliano Cervesato

Publication date 18 March 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2171/21710063.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 4215344
• A new semantics of authentication logic
• scientific article; zbMATH DE number 4197466
• A logic of authentication
• Verification and modelling of authentication protocols

Cited in

(11)

• scientific article; zbMATH DE number 4215344 (Why is no real title available?)
• Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
• Decidable Extensions of Hennessy-Milner Logic
• The Practice of Authentication
• scientific article; zbMATH DE number 2064304 (Why is no real title available?)
• On BAN logics for industrial security protocols
• Encryption as an abstract data-type (extended abstract)
• Authentication primitives and their compilation
• scientific article; zbMATH DE number 4197466 (Why is no real title available?)
• Distributed temporal logic for the analysis of security protocol models
• A formal framework for authentication

This page was built for publication: The logic of authentication protocols

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