Methodology for assessing the security of cryptographic protocols

DOI10.17223/20710410/56/4MaRDI QIDQ5089858zbMATH OpenOpenAlexFDO

Authors

Publication date 15 July 2022

Published in Prikladnaya Diskretnaya Matematika (Search for Journal in Brave)

Full work available at URL http://mathnet.ru/eng/pdm769

zbMATH Keywords

cryptographic protocolinformation security performance indicatorsecurity property

Mathematics Subject Classification ID

Computer science (68-XX) Information and communication theory, circuits (94-XX)

Recommendations

• New models and methods for estimating the cryptographic strength of information security systems
• scientific article; zbMATH DE number 2036024
• Operational semantics and verification of security protocols.
• scientific article; zbMATH DE number 3965967
• Simulation and analysis of cryptographic protocols

Cites work

• A review of the password authenticated key exchange protocols vulnerabilities and principles of the \textit{SESPAKE} protocol construction
• Advances in Cryptology - CRYPTO 2003
• Authenticated key exchange secure against dictionary attacks
• HMQV: A High-Performance Secure Diffie-Hellman Protocol
• scientific article; zbMATH DE number 1722690 (Why is no real title available?)
• scientific article; zbMATH DE number 1263181 (Why is no real title available?)
• scientific article; zbMATH DE number 1341873 (Why is no real title available?)
• scientific article; zbMATH DE number 1024060 (Why is no real title available?)
• scientific article; zbMATH DE number 1149909 (Why is no real title available?)
• scientific article; zbMATH DE number 7300423 (Why is no real title available?)
• Key agreement protocols and their security analysis
• Modern cryptography: theory and practice
• On an approach to the construction of secure connections
• On the Importance of Public-Key Validation in the MQV and HMQV Key Agreement Protocols
• On the security of public key protocols
• Practical significance of security bounds for standardized internally re-keyed block cipher modes
• Probabilistic encryption
• Protocols for authentication and key establishment
• Stronger Security of Authenticated Key Exchange

Cited in

(3)

• Privacy and integrity properties of ECIES scheme
• Alternative security models for a pseudorandom function
• On the practical safety of the key

This page was built for publication: Methodology for assessing the security of cryptographic protocols

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