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.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: