Design and Implementation of PMI Based on B-level Security
达到B级安全的PMI研究与设计*

The kernel of large-scale software is Object-Oriented and provides protection and concealment to kernel data struc-tures. But the kernel security can not be perfect. The security kernel model can improves kernel security. Presents a model for the lightweight security kernel using B-level security. This model B-level Security Kernel ( BSK) is used to highlight security level in the design of PMI architecture.