Login / Signup

Efficient Finite-State Analysis for Large Security Protocols.

Vitaly ShmatikovUlrich Stern
Published in: CSFW (1998)
Keyphrases
  • finite state
  • machine learning
  • dynamic programming
  • markov chain
  • search algorithm
  • operating system
  • markov decision processes
  • partially observable markov decision processes