Login / Signup
Model checking security policy model using both UML static and dynamic diagrams.
Liang Cheng
Yang Zhang
Published in:
SIN (2011)
Keyphrases
</>
model checking
temporal properties
model checker
security policies
specification language
temporal logic
verification method
distributed systems
finite state machines
formal methods
concurrent systems
process algebra