On the Automated Correction of Security Protocols Susceptible to a Replay Attack

@inproceedings{pub4464,
    author = {

Lopez-Pimentel, Juan
 and 

Monroy, Raul
 and 

Hutter, Dieter
},
    editor = {

Biskup, J.
},
    title = {On the Automated Correction of Security Protocols Susceptible to a Replay Attack},
    booktitle = {Proceedings of the 12th European Symposium On Research In Computer Security. European Symposium on Computer Security (ESORICS-07), September 24-August 26, Dresden, Germany},
    series = {Lectures Notes in Computer Science (LNCS)},
    year = {2007},
    publisher = {Springer-Verlag}
}