Monniaux D. Analysis of cryptographic protocols using logics of belief: an overview. JTIT [Internet]. 2002 Dec. 30 [cited 2026 Jun. 13];10(4):57-6. Available from: https://jtit.pl/jtit/article/view/145