Login / Signup

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.

Ivan Cibrario BertolottiLuca DuranteRiccardo SistoAdriano Valenzano
Published in: FORTE (2003)
Keyphrases
  • data analysis
  • neural network
  • data model