论文部分内容阅读
可信计算的相关研究已成为当前国内外信息安全方面的研究热点和趋势之一。可信计算技术也成为构建安全计算机系统行之有效的新技术。目前可信计算理论的发展滞后于技术的发展，针对可信计算中可信链传递缺乏理论模型的问题，将无干扰理论引入到可信计算领域，提出了计算机系统可信的基本理论。从动态的角度建立了基于无干扰理论的可信链模型，并对该模型进行了形式化描述和验证，而且实现了基于Linux操作系统内核的可信启动过程。其实现思路对于可信计算理论的发展和应用具有很好的参考价值。