1. Secure Computer System: Unified Exposition and Multics Interpretation;Bell;MITRE Technical Report MTR-2997,1975
2. Secure Ada Target: Issues, System Design and Verification;Boebert;1985 IEEE Symposium on Security and Privacy,1985
3. A Model of a Protected Data Management System;Bonyun;I.P. Sharp Report ESD-TR-76-289,1976
4. A Relational Model of Data for Large Shared Data Banks;Codd;Communications of the ACM,1970
5. An Introduction to Database Systems;Date,1977