1DoD 5200.28-STD Trusted Computer System Evaluation Criteria[ M]. Department of Defence, U S A , 1985. 被引量:1
2Maurice J Bach. The Design of the Unix Operating System[M]. New Jersey: Prentice Hall, 1987. 被引量:1
3K F Seiden, J P Melanson. The auditing facility for a VMM security kernel [ A ]. IEEE Symposium on Security and Privacy [C]. Oakland, California, USA, 1990. 262-277. 被引量:1