计算机科学与探索 ›› 2011, Vol. 5 ›› Issue (2): 170-178.

• 学术研究 • 上一篇    下一篇

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

洪 宏, 黄志球, 沈国华, 钱 巨, 刘春勇   

  1. 南京航空航天大学 信息科学与技术学院, 南京 210016
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-02-01 发布日期:2011-02-01
  • 通讯作者: 洪 宏

Framework Supporting Software Evaluation on Trustworthiness and its Application

HONG Hong, HUANG Zhiqiu, SHEN Guohua, QIAN Ju, LIU Chunyong   

  1. College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
  • Received:1900-01-01 Revised:1900-01-01 Online:2011-02-01 Published:2011-02-01
  • Contact: HONG Hong

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

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

Abstract: Software trustworthiness evaluation is an important aspect of software trustworthiness research. There are some deficiencies in the current research, such as facing special software modality, limited trustworthiness attribute, without implication of concept model. Based on improvement and expansion of existing related work, this paper presents a general framework supporting software evaluation on trustworthiness, discusses systematically its imple-mentation procedure, then gives a detailed case study, finally develops a trustworthiness evaluation management system based on this framework, which verifies the practicability of this work. This approach applies to different software modality, supports customization of trustworthiness attribute, trustworthiness evidence and evaluating in-dicator, it will be beneficial to successful trustworthiness evaluation practices.

Key words: software trustworthiness, trustworthiness evaluation, attribute model, evidence model, evaluating indicator