Giuseppe Cattaneo Antonio De Santis Umberto Ferraro Petrillo Visualization of cryptographic protocols with GRACE. 258-290 2008 19 J. Vis. Lang. Comput. 2 http://dx.doi.org/10.1016/j.jvlc.2007.05.001 db/journals/vlc/vlc19.html#CattaneoSP08