支持软件可信评估的框架及其应用研究

摘要：

软件可信评估是软件可信研究的一个重要方面,但是目前已有的研究存在适用的软件形态受限、评估的可信属性不全面、未提供具体的应用实现等不足.针对上述问题,通过对已有相关工作进行改进和扩展,提出了一种通用的软件可信评估框架,阐述了应用该框架实现可信评估的具体过程,给出了详尽的案例分析,并基于该框架开发了可信评估管理系统,验证了框架实施的可行性.实验表明此项研究适用于不同形态的软件,支持可信属性、可信证据、评估指标的定制,对于软件可信评估活动的成功实施具有一定的指导作用.

关键词：软件可信、可信评估、属性模型、证据模型、评估指标体系

所属期刊栏目：5

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

资助基金：The National High-Tech Research and Development Plan of China under Grant No.2009AA010307国家高技术研究发展计划863;the Research Fund of Nanjing University of Aeronautics and Astronautics of China under Grant No.NS2010108

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

页数：共9页

页码：170-178