Publikation
Dieter Hutter; Raul Monroy
In: Luca Vigano; Pierpaolo Degano (Hrsg.). 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, Lectures Notes in Computer Science (LNCS), Springer Verlag, 2009.
@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), befindet sich Affiliated with ETAPS 2009, March 28-29, York, United Kingdom}, series = {Lectures Notes in Computer Science (LNCS)}, year = {2009}, publisher = {Springer Verlag} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023