On the Automated Correction of Security Protocols Susceptible to a Replay Attack.

Juan Carlos López Pimentel Raul Monroy Dieter Hutter On the Automated Correction of Security Protocols Susceptible to a Replay Attack. 594-609 2007 conf/esorics/2007 ESORICS http://dx.doi.org/10.1007/978-3-540-74835-9_39 db/conf/esorics/esorics2007.html#PimentelMH07