Paolo Modesti. Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx. In Sjouke Mauw, Christian Damsgaard Jensen, editors, Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings. Volume 8743 of Lecture Notes in Computer Science, pages 204-208, Springer, 2014. [doi]
@inproceedings{Modesti14,
title = {Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx},
author = {Paolo Modesti},
year = {2014},
doi = {10.1007/978-3-319-11851-2_17},
url = {http://dx.doi.org/10.1007/978-3-319-11851-2_17},
researchr = {https://researchr.org/publication/Modesti14},
cites = {0},
citedby = {0},
pages = {204-208},
booktitle = {Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings},
editor = {Sjouke Mauw and Christian Damsgaard Jensen},
volume = {8743},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-11850-5},
}