Formal Semantics of Confidentiality in Multilevel Logic Databases | IEEE Conference Publication | IEEE Xplore