A formalism for visual security protocol modeling. - J. McDermott; Gerard Allwein (J. Vis. Lang. Comput., 2008)