| 1 | Ben Leslie, Carl van Schaik and Gernot Heiser, "Wombat A portable User-Mode Linux for Embedded Systems", National ICT Australia, 2004 |
| 2 | Ihor Kuz, "L4 User Manual NICTA L4-embedded API", Embedded, Real-Time and Operating Systems Program, 2005 |
| 3 | B. Lampson, M. Abadi, M. Burrows and E. Wobber, "Authentication in Distributed Systems: Theory and Practice", ACM Transactions on Computer Systems, pages 265-310, Nov. 1992 |
| 4 | T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, D. Boneh, "Terra: a virtual machine-based platform for trusted computing", ACM SIGOPS Operating Systems Review, pages 193-206, Vol. 37, Issues 5, Dec. 2003 |
| 5 | Bluepill Project, http://bluepillproject.org |
| 6 | Gernot Heiser, "The OKL4 Microkernel, A High-Performance Virtualisation Platform", Open Kernel Labs, 2007 |
| 7 | VMware, Inc., "Understanding Full Virtualization, Paravirtualization, and Hardware Assist", White Paper, Nov. 2007 |
| 8 | Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch, "SubVirt: Implementing malware with virtual machines", Proceedings of the 2006 IEEE Symposium on Security and Privacy , May 2006 |
| 9 | Heiser, Gernot; Elphinstone, Kevin; Kuz, Ihor; Klein, Gerwin, Petters, Stefan M. "Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level", Operating Systems Review 41 (3): 3-11, July 2007 |
| 10 | Peter Chubb, "Get More Device Drivers out of the Kernel!", National ICT Australia |
 |
Korea Institute of Science and Technology Information
Gwahangno, Yuseong-gu, Daejeon, 305-806, Korea TEL : +82-42-869-1752
Copyright (c) 2009 KISTI. All Rights Reserved. For more information mail to
webmaster
