Login / Signup

On the Verification and Validation of Protocols with High Fault Coverage Using UIO Sequences.

Xiao SunYinan N. ShenFabrizio Lombardi
Published in: SRDS (1992)
Keyphrases
  • hidden markov models
  • wide range
  • model checking
  • cryptographic protocols
  • data mining
  • website
  • high precision
  • long sequences