Title :
Towards a High Assurance Secure Computing Platform
Author :
DiRossi, Michael D.
Author_Institution :
Johns Hopkins Univ., Laurel
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.
Keywords :
operating systems (computers); security of data; software architecture; commodity operating systems; high assurance secure computing platform; security services; software architecture; trusted ring framework; Communication system security; Computer architecture; Cryptography; Formal verification; Hardware; Information security; Kernel; Operating systems; Physics computing; Robustness;
Conference_Titel :
High Assurance Systems Engineering Symposium, 2007. HASE '07. 10th IEEE
Conference_Location :
Plano, TX
Print_ISBN :
978-0-7695-3043-7
DOI :
10.1109/HASE.2007.25
