Automated Verification of Noninterference Property.

Fan Zhang Cong Zhang Mingdi Xu Xiaoli Liu Fangning Hu Han-Chieh Chao

Published in: ICICS (2018)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
temporal logic
artificial intelligence
real time
data mining
computer vision
bayesian networks
artificial neural networks
probabilistic model
distributed systems
graph theory
security policies
monotonicity property