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