Supporting a Secure DBMS on the DTOS Microkernel (SDDM)

摘要

The problem addressed in this final technical report deals with hosting a securedatabase management system (DBMS) on a security-enhanced microkernel architecture. This problem is considered from both an operational issues standpoint and a security issues standpoint. The operational issues address how well microkernel features meet the operational needs of a DBMS. Operational issues discussed include threaded execution, schedulers, buffer managers and file systems. The three microkernels considered in this report are Mach/DTOS, Flux/Fluke, and LOCK and LOCK6. The security issues address how well microkernel security features can assist in implementing a secure DBMS on a security-enhanced microkernel. Of particular interest is how the DTOS access control mechanisms can be used to provide higher assurance for DBMS access controls. Both relational and object-oriented DBMSs are discussed.