计算机科学与探索 ›› 2011, Vol. 5 ›› Issue (2): 170-178.
洪 宏, 黄志球, 沈国华, 钱 巨, 刘春勇
HONG Hong, HUANG Zhiqiu, SHEN Guohua, QIAN Ju, LIU Chunyong
摘要: 软件可信评估是软件可信研究的一个重要方面, 但是目前已有的研究存在适用的软件形态受限、评估的可信属性不全面、未提供具体的应用实现等不足。针对上述问题, 通过对已有相关工作进行改进和扩展, 提出了一种通用的软件可信评估框架, 阐述了应用该框架实现可信评估的具体过程, 给出了详尽的案例分析, 并基于该框架开发了可信评估管理系统, 验证了框架实施的可行性。实验表明此项研究适用于不同形态的软件, 支持可信属性、可信证据、评估指标的定制, 对于软件可信评估活动的成功实施具有一定的指导作用。