Monniaux D. Analysis of cryptographic protocols using logics of belief: an overview. JTIT. 2002;10(4):57-67. doi:10.26636/jtit.2002.4.145