A method for patching interleaving-replay attacks in faulty security protocols

Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in Theoretical Computer Science, 2006.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence