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