Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Browse the full FORTE paper archive.