|
[1] Dan hildebrand: An architectural overview of QNX //Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures.1992.
[2] Peter G Neumann, Richard J. Feiertag: PSOS revisited //Proceedings of the 19th Annual Computer Security Applications Conference. 2003.
[3] Jean Arlat, Jean-Charles Fabre, Manuel Rodriguez.FrZdZric salles: dependability of COTS microkernel-based systems
[J]. IEEE Transactions on Computers, 2002,51(Issue 2).
[4] Hulse D,Dearle A.Trends in operating systems design: towards a customizable persistent micro-kernel . Report Pastel RT1R4. University of Stirling,1998.
[5] Debian security advisory . . http://www.debian.org/security/2002/dsa-131.
[6] Alexander Gostev. Mobile malware evolution: an overview. Part 2
[M].2006.
[7] Coverity prevent, Linux kernel maintainer mulls "bug fix-only cycle" .http://www.linuxdevices.com/news/NS8779577691.html, .
[8] Tim Leschke. Achieving speed and flexibility by separating management from protection: embracing the Exokernel operating system
[J]. Operating Systems Review,2004,38(4): 5-19.
[9] Engler D R,Kaashoek M F, J OToole Jr.Exokernel: an operating system architecture for application-specific resource management //Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles.1995: 251-266.
[10] Swift M,Bershad B, Levy H.Improving the reliability of commodity operating systems
[J]. ACM Trans Computer Systems, 2005,23:77-110.
[11] Paul N Leroux, Kerry Johnson. Using resource partitioning to build secure survivable embedded systems
[M]. QNX software 2006 white paper section 10, Retrieved from http://www.rtcmagazine.com/home/article.php?id=100749&pg=1 .
[12] Galen C Hunt,James R Larus.Singularity: rethinking the software stack . Microsoft Research Redmond, 2005.
[13] Mark Aiken, Manuel Fhndrich, Chris Hawblitzel, et al.Larus: deconstructing process isolation //ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC 2006). ASPLOS, 2006.
|
