TrustedBSD is a working project to develop trusted operating system extensions that are ultimately destined for the FreeBSD operating system. TrustedBSD是一个正在进行中的项目,主要开发可靠的操作系统扩展,这些扩展最终会加入FreeBSD操作系统。
The Design of the Trusted Operating System(TOS) 可信操作系统(TOS)的设计
Supporting for the security policy flexibility is one of the goals of modern secure operating systems. The DTOS ( distributed trusted operating system ) program put forth a concept of security policy lattice, which provides a good way for the research on security policy flexibility. 对安全政策灵活性的支持是现代安全操作系统追求的目标之一,DTOS(distributedtrustedoperatingsystem)项目提出了安全政策格的思想,为安全政策灵活性的研究提供了一种很好的手段。
But unlike traditional trusted operating system, current study has focused more on how to provide the mechanism for the execution of trusted-application under virtual machine environment. 但与传统安全操作系统不同,如何在虚拟机结构下提供安全应用运行机制是目前国内外研究热点。
A Novel Realization Mechanism for Capability in Trusted Operating System(TOS) 一种新的Capability实现机制