Literatura

Blake-Wilson, Simon, Don Johnson, and Alfred Menezes. 1997. “Key Agreement Protocols and Their Security Analysis.”

Goossens, Michel, Frank Mittelbach, and Alexander Samarin. 1993. The Latex Companion. Reading, Massachusetts: Addison-Wesley.

Knuth, Donald. n.d. “Knuth: Computers and Typesetting.” http://www-cs-faculty.stanford.edu/\~{}uno/abcde.html.

Pitt, Martin. 2002. “Modeling and Verification of Security Protocols: Part I: Basics of Cryptography and Introduction to Security Protocols.” https://piware.de/docs/securityprotocols.pdf.

“Protocol.” 2018. Cambridge Dictionary. Cambridge University Press 2019. https://dictionary.cambridge.org/dictionary/english/protocol.

Stinson, D.R., and M. Paterson. 2018. Cryptography: Theory and Practice. Textbooks in Mathematics. CRC Press. https://books.google.si/books?id=nHxqDwAAQBAJ.

Véronique Cortier, Steve Kremer. 2014. “Formal Models and Techniques for Analyzing Security Protocols: A Tutorial.”