A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols

Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter. A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. Electronic Notes in Theoretical Computer Science, 174(4):117-130, 2007. [doi]

Abstract

Abstract is missing.