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]
Abstract is missing.