6Zhou D. Towards the Formal Modeling of a Secure Operating System [C]// Proc. 23rd National Information System Security Conference. 2000.
7Liedtke J. On μ-Kernel Construction [C]// Proc. 15th ACM symposium on Operating Systems Principles (SOSP' 95). 1995: 237-250.
8Heiser G, Elphinstone K, Kuz I, et al. Towards trustworthy computing systems:taking microkernels to the next level [J]. ACM SIGOPS Operating Systems Review, 2007,41(4) : 3-11.