The formalized description and definition of the kernelmodel are also given.
同时对该模型的核心模型进行了形式化描述和定义。
2
But the kernel security can not be perfect. The security kernelmodel can improves kernel security.
因此，在面向对象的内核设计中引入安全内核模型可以改善内核设计的安全性问题。
3
This paper compares several kernel construct techniques and kernel extension technologies, proposes a kernelmodel based on exokernel extension; the key techniques are introduced in detail.