Monniaux, David. “Analysis of Cryptographic Protocols Using Logics of Belief: An Overview”. Journal of Telecommunications and Information Technology, vol. 10, no. 4, Dec. 2002, pp. 57-67, https://doi.org/10.26636/jtit.2002.4.145.