About this document
Understanding Security Protocols by Marius is a document available to read on EtoBox.
The document discusses security protocols, defining them as sets of rules for message exchanges between agents with security goals such as authentication and secrecy. It covers modeling protocols, the roles of agents, potential attacks like impersonation and replay attacks, and the Dolev-Yao adversary model, emphasizing the importance of nonce usage for security. The Needham-Schroeder protocol is presented as a case study, illustrating how to achieve mutual authentication while addressing vulnerabilities to
- Author
- Marius
- Language
- EN