About this document
Security Protocols and Modelling Techniques by Marius is a document available to read on EtoBox.
The document discusses security protocols, which are sets of rules for secure message exchanges between agents, focusing on authentication, key establishment, and secrecy. It covers modeling protocols, the Dolev-Yao adversary model, and various attacks like the man-in-the-middle and replay attacks, along with examples of protocols such as the Needham-Schroeder protocol. Additionally, it emphasizes the importance of formal analysis in verifying the security of these protocols using operational semantics and
- Author
- Marius
- Language
- EN