Monniaux, D. Analysis of Cryptographic Protocols Using Logics of Belief: An Overview. JTIT 2002, 10 (4), 57-67. https://doi.org/10.26636/jtit.2002.4.145.