EEMCS

Bistarelli, S. and Cervesato, I. and Lenzini, G. and Martinelli, F. (2005) Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. Technical Report TR-CTIT-05-61, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bistarelli, S. and Cervesato, I. and Lenzini, G. and Martinelli, F. (2005) Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. Journal of Computer Security, 13 (1). pp. 3-47. ISSN 0926-227x

Bistarelli, S. and Cervesato, I. and Lenzini, G. and Martinelli, F. (2003) Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. In: 2nd Int. Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS), St. Petersburg, Russia. pp. 86-99. Springer-Verlag. ISBN 3-540-40797-9

Martinelli, F. and Bistarelli, S. and Cervesato, I. and Lenzini, G. and Marangoni, R. (2003) Representing Biological Systems with Multiset Rewriting. In: 9th Int. Conf. on Computer Aided Systems Theory (EUROCAST), Las Palmas de Gran Canaria, Spain. pp. 415-426. Springer-Verlag. ISBN 3-540-20221-8