Fabio Martinelli, Marinella Petrocchi. Executable Specification of Cryptofraglets in Maude for Security Verification. In Eitan Altman, Iacopo Carreras, Rachid El Azouzi, Emma Hart, Yezekael Hayel, editors, Bioinspired Models of Network, Information, and Computing Systems - 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers. Volume 39 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 11-23, Springer, 2009. [doi]
@inproceedings{MartinelliP09,
title = {Executable Specification of Cryptofraglets in Maude for Security Verification},
author = {Fabio Martinelli and Marinella Petrocchi},
year = {2009},
doi = {10.1007/978-3-642-12808-0_2},
url = {http://dx.doi.org/10.1007/978-3-642-12808-0_2},
tags = {security},
researchr = {https://researchr.org/publication/MartinelliP09},
cites = {0},
citedby = {0},
pages = {11-23},
booktitle = {Bioinspired Models of Network, Information, and Computing Systems - 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers},
editor = {Eitan Altman and Iacopo Carreras and Rachid El Azouzi and Emma Hart and Yezekael Hayel},
volume = {39},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
publisher = {Springer},
isbn = {978-3-642-12807-3},
}