Monniaux, David. 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.