| 一种可信软件设计方法及可信性评价 |
| |
| 引用本文： | 田俊峰, 李 珍, 刘玉玲. 一种可信软件设计方法及可信性评价[J]. 计算机研究与发展, 2011, 48(8): 1447-1454. |
| |
| 作者姓名： | 田俊峰 李珍 刘玉玲 |
| |
| 作者单位： | 1(河北大学数学与计算机学院 河北保定 071002) 2(河北大学计算中心 河北保定 071002) (jftian@hbu.edu.cn) |
| |
| 基金项目： | 国家自然科学基金项目(60873203); 河北省杰出青年基金项目(F2010000317); 河北省自然科学基金项目(F2010000319); 空天信息安全与可信计算教育部重点实验室开放基金项目(AISTC2009_03) |
| |
| 摘 要： | 针对可信计算组织TCG(Trusted Computing Group)的信任链无法保障软件运行时动态可信的问题,对该信任链进行扩充,引入对软件运行时动态可信性的检测,提出了可信引擎驱动的可信软件信任链模型,并在此基础上提出了一种可信软件设计方法及可信性评价策略.通过引入描述软件可信行为轨迹的可信视图,在可信软件检查点处植入检查点传感器,将软件可信性融入软件设计中.通过对软件的完整性度量以及运行过程中软件行为轨迹的监测,实现软件的可信性保障.实验分析表明:采用该方法设计的软件能够有效地检测软件异常,并且成功检测软件异常的能力明显优于基于TCG信任链的软件.
|
| 关 键 词： | 可信软件设计 可信性评价 信任链 软件行为 可信计算 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机研究与发展》浏览原始摘要信息 |
|
点击此处可从《计算机研究与发展》下载免费的PDF全文 |
|
