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]