Validating the use of BAN LOGIC

DOI10.1007/978-3-540-24707-4_98MaRDI QIDQ5712534zbMATH OpenOpenAlexFDO

Authors José María Sierra, Julio C. Hernández, Almudena Alcaide, J. J. Torres

Publication date 23 December 2005

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

Full work available at URL https://doi.org/10.1007/b98048

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Recommendations

• On a limitation of BAN logic
• Verification and modelling of authentication protocols
• On BAN logics for industrial security protocols
• An alternate explanation of two BAN-logic ``failures
• scientific article; zbMATH DE number 1330437

Cited in

(3)

• On BAN logics for industrial security protocols
• An alternate explanation of two BAN-logic ``failures
• On a limitation of BAN logic

This page was built for publication: Validating the use of BAN LOGIC

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