Login / Signup

Tools for cryptographic protocols analysis: A technical and experimental comparison.

Manuel CheminodIvan Cibrario BertolottiLuca DuranteRiccardo SistoAdriano Valenzano
Published in: Comput. Stand. Interfaces (2009)
Keyphrases
  • experimental comparison
  • cryptographic protocols
  • machine learning
  • database
  • real time
  • web services
  • data analysis
  • distributed systems
  • standard model
  • digital libraries
  • cost effective