A separation model for virtual machine monitors
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1, 78-86
- https://doi.org/10.1109/risp.1991.130776
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Noninterference and unwinding for LOCKPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The existence of refinement mappingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A VMM security kernel for the VAX architecturePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Some lessons from formalizing a security modelACM SIGSOFT Software Engineering Notes, 1985
- Unwinding and Inference ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- A Gypsy-Based KernelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- KVM/370 in RetrospectPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- Secure Computer System: Unified Exposition and Multics InterpretationPublished by Defense Technical Information Center (DTIC) ,1976