A Model Theoretic Semantics for Multi-level Secure Deductive Databases

Hasan M. Jamil, Gillian Dobbie. A Model Theoretic Semantics for Multi-level Secure Deductive Databases. In Peter J. Stuckey, editor, Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Volume 2401 of Lecture Notes in Computer Science, pages 130-147, Springer, 2002. [doi]

Authors

Hasan M. Jamil

This author has not been identified. Look up 'Hasan M. Jamil' in Google

Gillian Dobbie

This author has not been identified. Look up 'Gillian Dobbie' in Google