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