Belief Reasoning in MLS Deductive Databases

SIGMOD Record (ACM Special Interest Group on Management of Data)

Volumn 28, Issue 2, 1999, Pages 109-120

  Jamil, Hasan M ^a  

^a NONE

Author keywords

Belief assertion; Deductive databases; Inheritance and overriding; MLS databases; Reasoning

Indexed keywords

EID: 0010539353     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/304181.304192     Document Type: Article

References (27)

1. D. E. Bell and L. J. La Padula. Secure computer systems: Unified exposition and multics interpretation. Technical Report ESD-TR-75-306, The MITRE Corporation, Bedford, MA, March 1976.
2. P. Bonatti, S. Kraus, and V. S. Subrahmanian. Foundations of secure deductive databases. IEEE Transactions on Knowledge and Data Engineering, 7(3):406-422, 1995.
3. M. Bugliesi. A declarative view of inheritance in logic programming. In K. Apt, editor, Proc. Joint Int. Conference and Symposium on Logic Programming, pages 113-130. The MIT Press, 1992.
4. M. Bugliesi and H. M. Jamil. A logic for encapsulation in object oriented languages. In M. Hermenegildo and J. Penjam, editors, Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP), pages 213-229, Madrid, Spain, 1994. Springer-Verlag. LNCS 844.
5. M. Bugliesi and H. M. Jamil. A stable model semantics for behavioral inheritance in deductive object oriented languages. In G. Gottlob and M. Y. Vardi, editors, Proceedings of the 5th International Conference on Database Theory (ICDT), pages 222-237, Prague, Czech Republic, 1995. Springer-Verlag. LNCS 893.
6. K. S. Candan, S. Jajodia, and V. S. Subrahmanian. Secure mediated databases. In ICDE Proc., pages 35-55, 1996.
7. F. Cuppens. Querying a multilevel database: A logical analysis. In Proc of the VLDB Conference, Mumbai, India, August 1996.
8. D. E. Denning, T. F. Lunt, R. R. Schell, M. Heckman, and W. R. Shockley. A multilevel relational data model. In Proc. of the IEEE Symposium on Security and Privacy, pages 220-234. IEEE Computer Society Press, 1987.
9. D. Chimenti et. al. The LDL system prototype. IEEE Journal on Data and Knowledge Engineering, 2(1):76-90, 1990.
10. S. Jajodia, P. Samarati, and V. S. Subrahmanian. A logical language for expressing authorizations. In Proc. IEEE Symp. on Security and Privacy, pages 31-42, Oakland, CA, May 1997.
11. S. Jajodia, P. Samarati, V. S. Subrahmanian, and E. Bertino. A unified framework for enforcing multiple access control policies. In SIGMOD Proc., pages 474-485, 1997.
12. S. Jajodia and R. Sandhu. Toward a multilevel secure relational data model. In Proc. of the Conf. on Management of Data, pages 50-59, Denver, CO, May 1991. ACM Press.
13. neg. In Proceedings of the 23rd International Conference on Very Large Databases (VLDB), pages 56-65, Athens, Greece, 1997.
14. H. M. Jamil. A logical foundation for mls deductive databases. Technical report, Department of Computer Science, Mississippi State University, USA, November 1998. Submitted for publication.
15. H. M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and conflict resolution. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 130-144, Portland, Oregon, December 1995. MIT Press.
16. N. A. Jukic and S. V. Vrbsky. Asserting beliefs in mls relational models. In Sigmod Record, pages 30-35, Ithaca, NY, 1997. ACM Press.
17. V. Kessler and G. Wedel. Autlog - an advanced logic of authentication. Manuscript.
18. M. Kifer, G. Lausen, and J. Wu. Logical Foundations for Object-Oriented and Frame-Based Languages. Journal of the Association of Computing Machinery, 42(3):741-843, July 1995.
19. T. F. Lunt, D. E. Denning, R. R. Schell, M. Heckman, and W. R. Shockley. The seaview security model. IEEE Transactions on Software Engineering, 16(6):593-607, 1990.
20. D. Miller. A Logical Analysis of Modules in Logic Programming. Journal of Logic Programming, 6(1/2):79-108, January/March 1989.
21. L. Monteiro and A. Porto. Contextual Logic Programming. In 6th ALP Intl. Conf. on Logic Programming, 1989.
22. G. Pernul, W. Winiwarter, and A. M. Tjoa. The deductive filter approach to mls database prototyping. In Proc. of the 9th Annual Computer Security Applications Conference, Orlando, FL, December 1993.
23. G. Pernul, W. Winiwarter, and A. M. Tjoa. The entity relationship model for multilevel security. In Proc. of the 12th Intl. Conf. on Entity-Relationship Approach, Dallas, TX, December 1993.
24. K. Smith and M. Winslett. Entity modeling in the MLS relational model. In Proc. of the 18th VLDB Conference, pages 199-210, Vancouver, BC, August 1992.
25. A Spalka. Fundamental forms of confidentiality in deductive databases. Manuscript.
26. W. Winiwarter. Why is deduction required for database systems? - some case studies. In Proc. of the 2nd Data Engineering Forum, Tokyo, Japan, November 1995.
27. M. Winslett, K. Smith, and X. Qian. Formal query languages for secure relational databases. ACM Transactions on Database Systems, 19(4):626-662, December 1994.