Login / Signup

From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.

Mourad DebbabiMohamed MejriNadia TawbiI. Yahmadi
Published in: WETICE (1997)
Keyphrases
  • learning algorithm
  • optimal solution
  • dynamic programming
  • expectation maximization
  • data mining
  • k means
  • collaborative filtering
  • lightweight