Abstract:
Deviod of any attenuating capability, multi-level secure (MLS) relational models suer from a critical shortcoming { they inundate the view of higher level users with irrelevant and inconsistent data making it dif-cult to assert any belief. They also do not lend any help to users in the belief reasoning process in the form of linguistic instruments which are essential ingredients in theorizing about the beliefs of other users at visible levels. Needless to say, this process of sifting through visible yet \useless " data and analyzing the most relevant data is a complex and cumbersome exercise. The impetus for our current research is the 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. We strive to develop a poised and practical logical characterization of MLS databases for the rst time based on the inherently dicult concept of non-monotonic inheritance by proposing a F-logic style query language, called MultiLog, for MLS deductive databases.
Citations
|
632
|
Logical Foundations of Object-Oriented and FrameBased Languages
– Kifer, Lausen, et al.
- 1995
|
|
147
|
A logical analysis of modules in logic programming
– Miller
- 1989
|
|
124
|
A Logical Language for Expressing Authorizations
– Jajodia, Samarati, et al.
- 1997
|
|
97
|
M.: The seaview security model
– Denning, Lunt, et al.
- 1988
|
|
57
|
Toward a multilevel secure relational data model
– Jajodia, Sandhu
- 1991
|
|
32
|
Formal query languages for secure relational databases
– Winslett, Smith, et al.
- 1994
|
|
29
|
A Multilevel Relational Data Model
– Denning
- 1987
|
|
27
|
A declarative view of inheritance in logic programming
– Bugliesi
- 1992
|
|
22
|
Foundations of secure deductive databases
– Bonatti, Kraus, et al.
- 1995
|
|
20
|
Entity modeling in the MLS relational model
– Smith, Winslett
- 1992
|
|
13
|
A stable model semantics for behavioral inheritance in deductive object oriented languages
– Bugliesi, Jamil
- 1995
|
|
13
|
Implementing abstract objects with inheritance in Datalog neg
– Jamil
- 1997
|
|
12
|
A declarative semantics for behavioral inheritance and conflict resolution
– Jamil, Lakshmanan
- 1995
|
|
5
|
Querying a multilevel database: A logical analysis
– Cuppens
- 1996
|
|
5
|
Database security: Current status and key issues
– Jajodia, Sandhu
- 1990
|
|
4
|
Asserting Beliefs in MLS Relational Models
– Jukic, Vrbsky
- 1997
|
|
2
|
Belief reasoning in MLS deductive databases
– Jamil
- 1999
|
|
2
|
AUTLOG { an advanced logic of authentication. Manuscript
– Kessler, Wedel
|
|
2
|
is deduction required for database systems ? - some case studies
– Why
- 1995
|
|
1
|
A logic based language for parametric inheritance
– Jamil
- 2000
|
|
1
|
Logical characterizations of multi level secure databases
– Jamil, Dobbie
- 2000
|
|
1
|
A logical semantics for MLS databases
– Jamil
- 1999
|
|
1
|
Fundamental forms of con in deductive databases
– Spalka
|
|
