Login / Signup

Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists.

Najah ChridiMathieu TuruaniMichaël Rusinowitch
Published in: CSF (2009)
Keyphrases
  • statistical analysis
  • neural network
  • genetic algorithm
  • case study
  • social networks
  • communication protocols