On the Automated Correction of Protocols with Improper Message Encoding

@inproceedings{pub4462,
    author = {

Hutter, Dieter
 and 

Monroy, Raul
},
    editor = {

Vigano, Luca
 and 

Degano, Pierpaolo
},
    title = {On the Automated Correction of Protocols with Improper Message Encoding},
    booktitle = {Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA), located at Affiliated with ETAPS 2009, March 28-29, York, United Kingdom},
    series = {Lectures Notes in Computer Science (LNCS)},
    year = {2009},
    publisher = {Springer Verlag}
}