Login / Signup

An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols.

Alessandro ArmandoLuca Compagna
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • model checking
  • temporal properties
  • finite state machines
  • temporal logic
  • formal verification
  • model checker
  • bounded model checking
  • process algebra