Monniaux, David. “Analysis of Cryptographic Protocols Using Logics of Belief: An Overview”. Journal of Telecommunications and Information Technology 10, no. 4 (December 30, 2002): 57–67. Accessed June 13, 2026. https://jtit.pl/jtit/article/view/145.