
TL;DR
This paper provides a comprehensive overview of security protocols, covering their foundations, attack taxonomy, analysis methods, and a detailed survey of computational security models for key exchange protocols.
Contribution
It offers an integrated review of security protocol foundations, attack classifications, analysis techniques, and an in-depth survey of computational security models for key exchange protocols.
Findings
Clarifies differences between security models
Provides a taxonomy of attacks
Surveys security analysis methods
Abstract
Security protocols are building blocks in secure communications. They deploy some security mechanisms to provide certain security services. Security protocols are considered abstract when analyzed, but they can have extra vulnerabilities when implemented. This manuscript provides a holistic study on security protocols. It reviews foundations of security protocols, taxonomy of attacks on security protocols and their implementations, and different methods and models for security analysis of protocols. Specifically, it clarifies differences between information-theoretic and computational security, and computational and symbolic models. Furthermore, a survey on computational security models for authenticated key exchange (AKE) and password-authenticated key exchange (PAKE) protocols, as the most important and well-studied type of security protocols, is provided.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
