Secure Hybrid Operating System “Linux over Fenix” - Computer Network Security - page 285

2. Goldberg, R.: Architectural Principles for Virtual Computer Systems. PhD thesis, Harvard
University (1972)
3. Goldberg, R.: Survey of virtual machine research. IEEE Computer Magazine, 7 (June
1974) 34-45
4. Bugnion, E., Devine, S., Rosenblum, M.: Disco: running commodity operating systems on
scalable multiprocessors. In Proc. 16th ACM Symp. Operating Sys. Principles (Oct. 1997)
5. Sugerman,J., Venkitachalam,G., Lim,B.: Virtualizing I/O devices on VMware
workstation's hosted virtual machine monitor. In Proc. 2001 Ann. USENIX Tech. Conf.,
Boston, MA, USA (June 2001)
6. Waldspurger, C.A.: Memory resource management in VMware ESX Server. In Proc. 2002
Symp. Operating Sys. Design and Implementation (December 2002)
7. Chen, P.M., Noble, B.D.: When virtual is better than real. In Proc. 2001 Workshop on Hot
Topics in Operating Sys. (HotOS-VIII), Schloss Elmau, Germany (May 2001)
8. Engler, D., Kaashoek, M., O'Toole, J.: Exokernel: Anoperating system architecture for
application-level resource managment. In Proc. 15th ACM Symp. on Operating Sys.
Principles (Dec. 1995)
9. Grizzard, J., Dodson, E., Conti, G. Levine, J., Owen, H.: "Towards a trusted immutable
kernel extension (TIKE) for selfhealing systems: a virtual machine approach," in Proc. 5th
IEEE Information Assurance Workshop (June 2004) 444-446
10. Garfinkel, T., Pfaff, B., Chow, J., Rosenblum, M., Boneh, D.: “Terra: a Virtual Machine-
Based Platform for Trusted Computing,” in Proceedings of the nineteenth ACM
Symposium on Operating Systems Principles, ACM Press (2003) 193-206
11. Trusted Computing Platform Alliance. TCPA main specification v. 1.1b. http://www.
trustedcomputing.org/
12. Carroll, A., Juarez, M., Polk, J., Leininger, T.: Microsoft Palladium: A business overview.
http://www.microsoft.com/PressPass/features/2002/jul02/0724palladiumwp.asp (August 2002)
13. Microsoft next-generation secure computing base—technical FAQ. http://www.microsoft.
com/technet/treeview/default.asp?url=/technet/security/%news/NGSCB.asp (February 2003)