计算机科学与探索 ›› 2010, Vol. 4 ›› Issue (1): 46-53.DOI: 10.3778/j.issn.1673-9418.2010.01.005

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

面向验证的软件可信证据与可信评估

丁学雷1,2+,王怀民1,王元元2,卢 刚1   

  1. 1. 国防科学技术大学 计算机学院,长沙 410073
    2. 解放军理工大学 指挥自动化学院,南京 210007
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-01-15 发布日期:2010-01-15
  • 通讯作者: 丁学雷

Verification Oriented Trustworthiness Evidence and Trustworthiness Evaluation of Software

DING Xuelei1,2+, WANG Huaimin1, WANG Yuanyuan2, LU Gang1   

  1. 1. Computer School, National University of Defense Technology, Changsha 410073, China
    2. School of Command Automation, PLA University of Science and Technology, Nanjing 210007, China
  • Received:1900-01-01 Revised:1900-01-01 Online:2010-01-15 Published:2010-01-15
  • Contact: DING Xuelei

摘要: 随着软件可信性问题的凸显,近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题。从认识和理解软件的角度,基于对软件的思考以及认识越深入软件越可信这样一个观点,在对传统的软件可信证据收集与分类方法进行分析的基础上,提出了基于验证的可信证据模型。该证据模型的提出在一定程度上弥补了传统的可信证据收集与分类方法的不足,便于多维性评估,有利于可信演化,符合人的认识习惯。最后,基于该可信证据模型,为探索解决可信评估问题提出了一种可行的方法。

关键词: 软件可信性, 可信证据, 可信度, 可信评估

Abstract: Due to the outstanding of the problems related to software trustworthiness, people are researching it from different points of view in recent years. From the viewpoint of comprehending software, the more deeply one software is comprehended, the more trustworthy the software is. Based on this, a verification oriented evidence model of software trustworthiness is advanced after analyzing the traditional method of collecting and sorting trustworthiness evidence. Compared with the traditional method, the verification based evidence model has the advantages of being beneficial to multidimensional trustworthiness evaluation and software trustworthiness evolution etc. Finally, based on the evidence model a possible method for the evaluation of software trustworthiness is provided.

Key words: software trustworthiness, trustworthiness evidence, trustworthiness level, trustworthiness evaluation

中图分类号: