Key points are not available for this paper at this time.
Certifying an entire operating system to be reliable is too large a task to be practicable. Instead, we are designing a Security Kernel which will provide information security. The kernel's job is to monitor information flow in order to prevent compromise of security.
Walter et al. (Wed,) studied this question.