Towards a High Assurance Secure Computing Platform

Abstract

Existing commodity operating systems alone do not satisfy the robust requirements of a general purpose, high assurance, secure computing platform. This paper presents the Trusted Ring Framework, a software architecture that provides a foundation from which to host security services that enhance the security of a commodity operating system.