An approach for formal verification of authentication protocols

DOI10.1134/S1995080222050195zbMath1489.94124OpenAlexW4280593598MaRDI QIDQ2140957

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

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

Cites Work

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

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