Adrian Spalka. Formal semantics of confidentiality in multilevel logic databases. In Hilary H. Hosmer, John E. Dobson, Eric Leighninger, editors, Proceedings of the 1994 Workshop on New Security Paradigms, Little Compton, Rhode Island, USA, August 3-5,1994. pages 64-73, IEEE Computer Society Press, 1994. [doi]
Abstract is missing.