Digital Symposium Collection 2000

Belief Reasoning in MLS Deductive Databases Hasan M. Jamil   View Paper (PDF)   Return to Languages and Models Abstract It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and effectiveness of authorization policies in shared enterprise databases and will replace cumbersome authorization enforcement practices through complicated view definitions on a per user basis. However, as advances in this area are being made and ideas crystallized, the concomitant weaknesses of the MLS databases are also surfacing. We insist that the critical problem with the current model is that the belief at a higher security level is cluttered with irrelevant or inconsistent data as no mechanism for attenuation is supported. Critics also argue that it is imperative for MLS database users to theorize about the belief of others, perhaps at different security levels, an apparatus that is currently missing and the absence of which is seriously felt. The impetus for our current research is this need to provide an adequate framework for belief reasoning in MLS databases. We demonstrate that a prudent application of the concept of inheritance in a deductive database setting will help capture the notion of declarative belief and belief reasoning in MLS databases in an elegant way. To this end, we develop a function to compute belief in multiple modes which can be used to reason about the beliefs of other users. We strive to develop a poised and practical logical characterization of MLS databases for the first time based on the inherently difficult concept of non-monotonic inheritance. We present an extension of the acclaimed Datalog language, called the MultiLog, and show that Datalog is a special case of our language. We also suggest an implementation scheme for MultiLog as a front-end for CORAL. References Note: References link to DBLP on the Web. [1] ... [2] Piero A. Bonatti , Sarit Kraus , V. S. Subrahmanian : Foundations of Secure Deductive Databases. TKDE 7(3) : 406-422(1995) [3] Michele Bugliesi : A Declarative View of Inheritance in Logic Programming. JICSLP 1992 : 113-127 [4] Michele Bugliesi , Hasan M. Jamil : A Logic for Encapsulation in Object Oriented Languages. PLILP 1994 : 215-229 [5] Michele Bugliesi , Hasan M. Jamil : A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. ICDT 1995 : 222-237 [6] K. Selçuk Candan , Sushil Jajodia , V. S. Subrahmanian : Secure Mediated Databases. ICDE 1996 : 28-37 [7] Frédéric Cuppens : Querying a Multilevel Database: A Logical Analysis. VLDB 1996 : 484-494 [8] ... [9] Danette Chimenti , Ruben Gamboa , Ravi Krishnamurthy , Shamim A. Naqvi , Shalom Tsur , Carlo Zaniolo : The LDL System Prototype. TKDE 2(1) : 76-90(1990) [10] ... [11] Sushil Jajodia , Pierangela Samarati , V. S. Subrahmanian , Elisa Bertino : A Unified Framework for Enforcing Multiple Access Control Policies. SIGMOD Conference 1997 : 474-485 [12] Sushil Jajodia , Ravi S. Sandhu : Towards a Multilevel Secure Relational Data Model. SIGMOD Conference 1991 : 50-59 [13] Hasan M. Jamil : Implementing Abstract Objects with Inheritance in Datalog neg . VLDB 1997 : 56-65 [14] ... [15] Hasan M. Jamil , Laks V. S. Lakshmanan : A Declarative Semantics for Behavioral Inheritance and Conflict Resolution. ILPS 1995 : 130-144 [16] Nenad Jukic , Susan V. Vrbsky : Asserting Beliefs in MLS Relational Models. SIGMOD Record 26(3) : 30-35(1997) [17] ... [18] Michael Kifer , Georg Lausen , James Wu : Logical Foundations of Object-Oriented and Frame-Based Languages. JACM 42(4) : 741-843(1995) [19] Teresa F. Lunt , Dorothy E. Denning , Roger R. Schell , Mark Heckman , William R. Shockley : The SeaView Security Model. TSE 16(6) : 593-607(1990) [20] Dale Miller : A Logical Analysis of Modules in Logic Programming. JLP 6(1&2) : 79-108(1989) [21] Luís Monteiro , António Porto : Contextual Logic Programming. ICLP 1989 : 284-299 [22] ... [23] Günther Pernul , Werner Winiwarter , A. Min Tjoa : The Entity-Relationship Model for Multilevel Security. ER 1993 : 166-177 [24] Kenneth Smith , Marianne Winslett : Entity Modeling in the MLS Relational Model. VLDB 1992 : 199-210 [25] ... [26] ... [27] Marianne Winslett , Kenneth Smith , Xiaolei Qian : Formal Query Languages for Secure Relational Databases. TODS 19(4) : 626-662(1994) BIBTEX @inproceedings{DBLP:conf/sigmod/Jamil99,   author    = {Hasan M. Jamil},    editor    = {Alex Delis and                 Christos Faloutsos and                 Shahram Ghandeharizadeh},    title     = {Belief Reasoning in MLS Deductive Databases},    booktitle = {SIGMOD 1999, Proceedings ACM SIGMOD International Conference                 on Management of Data, June 1-3, 1999, Philadephia, Pennsylvania,                 USA},    publisher = {ACM Press},    year      = {1999},    isbn      = {1-58113-084-8},    pages     = {109-120},    crossref  = {DBLP:conf/sigmod/99},    bibsource = {DBLP, http://dblp.uni-trier.de} } }, Copyright(C) 2000 ACM