Xavier Allamigeon Bruno Blanchet Reconstruction of Attacks against Cryptographic Protocols. 140-154 2005 conf/csfw/2005 CSFW http://dx.doi.org/10.1109/CSFW.2005.25 db/conf/csfw/csfw2005.html#AllamigeonB05