Security invariants in discrete transition systems.

Published in: Formal Aspects Comput. (2013)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
control flow
information security
finite state
practical reasoning
intrusion detection
model checker
security issues
case study
object oriented
distributed systems