Parameterized model checking for security policy analysis.

Silvio Ranise Anh Tuan Truong Riccardo Traverso

Published in: Int. J. Softw. Tools Technol. Transf. (2016)

Keyphrases

model checking
security policies
temporal logic
finite state
formal verification
access control
formal specification
model checker
security management
temporal properties
belief revision
static analysis
pspace complete
verification method
linear temporal logic