Poster: towards formal verification of DIFC policies.

Zhi Yang Lihua Yin Miyi Duan Shuyuan Jin

Published in: CCS (2011)

Keyphrases

formal verification
model checking
information flow control
model checker
bounded model checking
automated verification
symbolic model checking
optimal policy
program slicing
dynamic programming
orders of magnitude
information systems
functional verification