Proceedings-Artikel
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. Electronic Notes in Theoretical Computer Science, 2006.