Operating systems research has traditionally consisted of adding functions to the operating system or inventing and study new implementations. Regardless of the
Security of information system requires a secure operation system. Security kernel meets the requirement and provides a bedrock to security of operation system.