Monniaux, D. 2002. Analysis of cryptographic protocols using logics of belief: an overview. Journal of Telecommunications and Information Technology. 10, 4 (Dec. 2002), 57–67. DOI:https://doi.org/10.26636/jtit.2002.4.145.