可信计算平台是个新兴的研究方向,可信计算已经成为研究的热点。作为可信计算平台的核心,操作系统对可信的要求不言而喻。作为开源的Linux,其特点很适合用作可信计算平台的操作系统,但是现有的Linux操作系统不能满足高可信计算平台的要求。如何设计出一个可信的Linux操作系统,将是实现可信计算平台的关键。本文以现有的Linux操作系统为基础,从可信的各种属性进行研究,主要讨论了可靠性,容错性和安全性,对如何提高Linux操作系统的可靠性、容错性和安全性给出了流行的方法和模型。操作系统的可信启动是一个很重要的问题,本文通过更改现有的Grub引导过程,得到一个可信的Grub实现了Linux的可信启动,通过实验表明只增加了系统9%的时间开销。在对可信各属性研究的基础上,明确了可信操作系统的设计原则,分析了可信操作系统的安全特性,设计出安全Linux操作系统的整体框架。在实现可信启动的Linux操作系统上,参照我国国家标准GB17859-1999《计算机信息系统安全保护等级划分准则》第四级《结构化标准》,参考现有的NSA的SeLinux、RFSOS等安全操作系统,设计与实现了一个能实现存取访问控制、审计等功能,具有安全性的Linux操作系统。