Publication
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.