Design of LDV: a multilevel secure relational database management system

The authors describe the design of a secure database system,LDV (Lock Data Views), that builds upon the classical security policies for operating systems. LDV is hosted on the LOgical Coprocessing Kernel (LOCK) Trusted Computing Base (TCB). LDVs security policy builds on the security policy of LOCK. Its design is based on three assured pipelines for the query, update, and metadata management operations. The authors describe the security policy of LDV, its system architecture, the designs of the query processor, the update processor, the metadata manager, and the operating system issues. LDVs solutions to the inference and aggregation problems are also described. >

[1]  Bhavani M. Thuraisingham,et al.  Security checking in relational database management systems augmented with inference engines , 1987, Comput. Secur..

[2]  Michael Stonebraker,et al.  Operating system support for database management , 1981, CACM.

[3]  Bhavani M. Thuraisingham.  Towards the Design of a Secure Data/Knowledge Base Management System , 1990, Data Knowl. Eng..

[4]  Richard J. Johnstone,et al.  Key updating flags in EFT-POS security systems , 1987, Comput. Secur..

[5]  Bhavani M. Thuraisingham,et al.  Secure query-processing strategies , 1989, Computer.

[6]  Robert A. Kowalski,et al.  A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..

[7]  François Bry,et al.  Checking Consistency of Database Constraints: a Logical Basis , 1986, VLDB.

[8]  William D. Young,et al.  Secure Ada Target: Issues, System Design, and Verification , 1985, 1985 IEEE Symposium on Security and Privacy.

[9]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[10]  Dorothy E. Denning,et al.  A Multilevel Relational Data Model , 1987, 1987 IEEE Symposium on Security and Privacy.

[11]  C. J. Date.  An Introduction to Database Systems , 1975 .

[12]  Bhavani M. Thuraisingham,et al.  Multilevel Security in Database Management Systems , 1987, Comput. Secur..

[13]  D. Elliott Bell,et al.  Secure Computer System: Unified Exposition and Multics Interpretation , 1976 .

[14]  Bhavani Thuraisingham,et al.  Query processing in LDV: a secure database system , 1988, [Proceedings 1988] Fourth Aerospace Computer Security Applications.

[15]  Marvin Schaefer,et al.  Secure Data Management System. , 1975 .

[16]  Bhavani Thuraisingham,et al.  SQL extensions for security assertions , 1991 .

[17]  Vijay V. Raghavan,et al.  Design of an Integrated Information Retrieval/Database Management System , 1990, IEEE Trans. Knowl. Data Eng..