基于无干扰理论的可信链模型

摘要：

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

关键词：可信计算、可信计算平台、可信链、无干扰理论、可信根

所属期刊栏目：45

分类号：TP309(计算技术、计算机技术)

资助基金：国家"九七三"重点基础研究发展规划基金项目2007CB307101;国家"八六三"高技术研究发展计划基金项目2007AA012410,2006010124015

在线出版日期：2008-07-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：974-980