The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Communications of the ACM - Special 25th Anniversary Issue
Security Kernel validation in practice
Communications of the ACM
Protection and the control of information sharing in multics
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Operating Systems, An Advanced Course
Hi-index | 0.00 |
The problem of providing a secure implementation of a data base management system is examined, and a kernel based architectural approach is developed. The design is then successfully applied to the existing data management system Ingres. It is concluded that very highly secure data base management systems are feasible.