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

@inproceedings{pub2335,
    author = {

Lopez-Pimentel, Juan
 and 

Monroy, Raul
 and 

Hutter, Dieter
},
    editor = {

Bloem, R.
},
    title = {A method for patching interleaving-replay attacks in faulty security protocols},
    booktitle = {Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC)},
    year = {2006},
    publisher = {Electronic Notes in Theoretical Computer Science}
}