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

Juan Carlos Lpez Pimentel, Ral Monroy, Dieter Hutter

Browse the full ESORICS paper archive.