1. Mediation and separation in contemporary information technology systems;Abrams,1992
2. Trusted Database Management System Interpretation of the Trusted Computer System Evaluation Criteria;National Computer Security Center (NCSC);NCSC-TG-021,1991
3. Trusted Network Interpretation of the Trusted Computer System Evaluation Criteria;National Computer Security Center (NCSC);NCSC-TG-005,1987
4. The Multics System: An Examination of its Structure;Organick,1972
5. A separation model for virtual machine monitors;Kelem,1991