Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli. Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. In Vladimir Gorodetsky, Leonard J. Popyack, Victor A. Skormin, editors, Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings. Volume 2776 of Lecture Notes in Computer Science, pages 86-99, Springer, 2003. [doi]
@inproceedings{BistarelliCLM03,
title = {Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols},
author = {Stefano Bistarelli and Iliano Cervesato and Gabriele Lenzini and Fabio Martinelli},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2776&spage=86},
tags = {protocol, process algebra, graph-rewriting, algebra, rewriting},
researchr = {https://researchr.org/publication/BistarelliCLM03},
cites = {0},
citedby = {0},
pages = {86-99},
booktitle = {Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings},
editor = {Vladimir Gorodetsky and Leonard J. Popyack and Victor A. Skormin},
volume = {2776},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40797-9},
}