An approach for formal verification of authentication protocols

DOI10.1134/S1995080222050195MaRDI QIDQ2140957zbMATH OpenOpenAlexFDO

Authors A. M. Mironov

Publication date 23 May 2022

Published in Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1995080222050195

zbMATH Keywords

verificationauthentication protocolsprocesses

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Information theory (general) (94A15) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 1860614
• Three systems for cryptographic protocol analysis
• A formal framework for authentication
• A logic of authentication
• Rewriting-based verification of authentication protocols

Cites work

• An attack on the Needham-Schroeder public-key authentication protocol
• Using encryption for authentication in large networks of computers

Cited in

(7)

• Multifactor authentication as a protection mechanism in computer networks
• scientific article; zbMATH DE number 1962755 (Why is no real title available?)
• scientific article; zbMATH DE number 1860614 (Why is no real title available?)
• Verification and modelling of authentication protocols
• scientific article; zbMATH DE number 1330437 (Why is no real title available?)
• A formal framework for authentication
• scientific article; zbMATH DE number 1104389 (Why is no real title available?)

This page was built for publication: An approach for formal verification of authentication protocols

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