This text analyze the implement mechanism of INTEGRITY-178B, and elaborate on the MILS and virtual partitioning, which promise the high security of INTEGRITY.

• 本文以INTEGRITY-178B为例,分析了它的实现机制,着重研究了其为实现高安全性而采用的MILS结构与虚拟分区技术。