Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, BenjamÃn Ramos. Formal Validation of OFEPSP+ with AVISPA. In Pierpaolo Degano, Luca Viganò, editors, Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Volume 5511 of Lecture Notes in Computer Science, pages 124-137, Springer, 2009. [doi]
@inproceedings{Hernandez-ArdietaFR09,
title = {Formal Validation of OFEPSP+ with AVISPA},
author = {Jorge L. Hernandez-Ardieta and Ana Isabel González-Tablas Ferreres and BenjamÃn Ramos},
year = {2009},
doi = {10.1007/978-3-642-03459-6_9},
url = {http://dx.doi.org/10.1007/978-3-642-03459-6_9},
researchr = {https://researchr.org/publication/Hernandez-ArdietaFR09},
cites = {0},
citedby = {0},
pages = {124-137},
booktitle = {Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers},
editor = {Pierpaolo Degano and Luca Viganò},
volume = {5511},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-03458-9},
}