Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano. Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. In Hartmut König, Monika Heiner, Adam Wolisz, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Volume 2767 of Lecture Notes in Computer Science, pages 224-239, Springer, 2003. [doi]
@inproceedings{BertolottiDSV03,
title = {Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis},
author = {Ivan Cibrario Bertolotti and Luca Durante and Riccardo Sisto and Adriano Valenzano},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2767&spage=224},
tags = {protocol, analysis},
researchr = {https://researchr.org/publication/BertolottiDSV03},
cites = {0},
citedby = {0},
pages = {224-239},
booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings},
editor = {Hartmut König and Monika Heiner and Adam Wolisz},
volume = {2767},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20175-0},
}