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