| 一种可信软件设计方法及可信性评价 |
| |
| 引用本文： | 田俊峰, 李 珍, 刘玉玲. 一种可信软件设计方法及可信性评价[J]. 计算机研究与发展, 2011, 48(8): 1447-1454. |
| |
| 作者姓名： | 田俊峰 李珍 刘玉玲 |
| |
| 作者单位： | 1. 河北大学数学与计算机学院 河北 保定071002
2. 河北大学计算中心 河北 保定071002 |
| |
| 基金项目： | 国家自然科学基金项目(60873203); 河北省杰出青年基金项目(F2010000317); 河北省自然科学基金项目(F2010000319); 空天信息安全与可信计算教育部重点实验室开放基金项目(AISTC2009_03) |
| |
| 摘 要： | 针对可信计算组织TCG(Trusted Computing Group)的信任链无法保障软件运行时动态可信的问题,对该信任链进行扩充,引入对软件运行时动态可信性的检测,提出了可信引擎驱动的可信软件信任链模型,并在此基础上提出了一种可信软件设计方法及可信性评价策略.通过引入描述软件可信行为轨迹的可信视图,在可信软件检查点处植入检查点传感器,将软件可信性融入软件设计中.通过对软件的完整性度量以及运行过程中软件行为轨迹的监测,实现软件的可信性保障.实验分析表明:采用该方法设计的软件能够有效地检测软件异常,并且成功检测软件异常的能力明显优于基于TCG信任链的软件.
|
| 关 键 词： | 可信软件设计 可信性评价 信任链 软件行为 可信计算 |
An Design Approach of Trustworthy Software and Its Trustworthiness Evaluation |
| |
| Tian Junfeng, Li Zhen, Liu Yuling. An Design Approach of Trustworthy Software and Its Trustworthiness Evaluation[J]. Journal of Computer Research and Development, 2011, 48(8): 1447-1454. |
| |
| Authors: | Tian Junfeng Li Zhen Liu Yuling |
| |
| Affiliation: | Tian Junfeng1,Li Zhen1,and Liu Yuling2 1(College of Mathematics and Computer,Hebei University,Baoding,Hebei 071002) 2(Computing Center,Hebei 071002) |
| |
| Abstract: | With the continuous deepening of the application of software in sensitive fields such as finance,military affairs and economy,the requirement of software trustworthiness becomes more urgent.For the problem of the trust chain of Trusted Computing Group(TCG),which mainly ensure the static trustworthiness of computers and cannot ensure the dynamic trustworthiness of running software,we extend the trust chain of TCG by introducing a trustworthy engine between operating system and application software,and presen... |
| |
| Keywords: | trustworthy software design trustworthiness evaluation trust chain software behavior trust computing |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机研究与发展》浏览原始摘要信息 |
|
点击此处可从《计算机研究与发展》下载全文 |
|
