olemus
ISO/IEC 29128: krüptograafia abil turvalisusega seotud ülesandeid täitev protokoll

ülevaateid
http://www.ccs-labs.org/~dressler/teaching/netzsicherheit-ws0304/07_CryptoProtocols_2on1.pdf

https://www.enisa.europa.eu/publications/study-on-cryptographic-protocols/

http://www.win.tue.nl/~berry/CryptographicProtocols/LectureNotes.pdf

http://www.win.tue.nl/~berry/2WC13/LectureSlides.pdf

turvalisus
https://www.cs.cornell.edu/~shmat/shmat_survey.pdf

https://www.inf.ethz.ch/personal/basin/pubs/rlcps10.pdf

https://www.cs.ox.ac.uk/people/cas.cremers/downloads/papers/BCMRW2015-standards.pdf

http://prosecco.gforge.inria.fr/personal/karthik/teaching/IITD%20Course/slides/Lecture6.pdf

https://www.cs.uoregon.edu/research/summerschool/summer03/lectures/formal2.pdf