McDermottand Allwein. A Formalism for Visual Security Protocol Modeling. Elsevier BV, 2008, doi:10.1016/j.jvlc.2006.10.006.