D. Monniaux, “Analysis of cryptographic protocols using logics of belief: an overview”, JTIT, vol. 10, no. 4, pp. 57–67, Dec. 2002, doi: 10.26636/jtit.2002.4.145.