Login / Signup

An intruder model with message inspection for model checking security protocols.

Stylianos BasagiannisPanagiotis KatsarosAndrew Pombortsis
Published in: Comput. Secur. (2010)
Keyphrases
  • model checking
  • model checker
  • temporal properties
  • finite state machines
  • temporal logic
  • multi agent systems
  • formal methods
  • security protocols
  • epistemic logic
  • verification method
  • symbolic model checking