Benjamin Weyers Wolfram Luther Nelson Baloian Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages. 311-318 2009 CRIWG http://dx.doi.org/10.1007/978-3-642-04216-4_26 conf/criwg/2009 db/conf/criwg/criwg2009.html#WeyersLB09