SAT-based Algorithmic Verification of Noninterference.

Conghua Zhou Meiling Cao Meng Ye Zhihao Qian

Published in: J. Comput. (2011)

Keyphrases

bounded model checking
formal verification
model checking
sat solvers
answer set programming
ai planning
temporal logic
security policies
version space
constraint networks
verification method
formal methods
neural network
constraint solver
sat encodings
artificial intelligence
learning algorithm