一种可信软件设计方法及可信性评价

摘要：

针对可信计算组织TCG(Trusted Computing Group)的信任链无法保障软件运行时动态可信的问题,对该信任链进行扩充,引入对软件运行时动态可信性的检测,提出了可信引擎驱动的可信软件信任链模型,并在此基础上提出了一种可信软件设计方法及可信性评价策略.通过引入描述软件可信行为轨迹的可信视图,在可信软件检查点处植入检查点传感器,将软件可信性融入软件设计中,通过对软件的完整性度量以及运行过程中软件行为轨迹的监测,实现软件的可信性保障,实验分析表明:采用该方法设计的软件能够有效地检测软件异常,并且成功检测软件异常的能力明显优于基于TCG信任链的软件.

关键词：可信软件设计、可信性评价、信任链、软件行为、可信计算

所属期刊栏目：48

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金项目60873203;河北省杰出青年基金项目F2010000317;河北省自然科学基金项目F2010000319;空天信息安全与可信计算教育部重点实验室开放基金项目AISTC2009-03

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

页数：共8页

页码：1447-1454