一种软件可信分级模型

被引：40

作者：

郎波 ^{[1
]}

刘旭东 ^{[1
]}

王怀民 ^{[2
]}

谢冰 ^{[3
]}

毛晓光 ^{[2
]}

机构：

[1] 北京航空航天大学计算机学院

[2] 国防科技大学计算机学院

[3] 北京大学信息科学技术学院

来源：

计算机科学与探索 | 2010年 / 03期

关键词：

软件可信分级; 软件可信属性模型; 软件可信证据; 软件可信评估;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

软件可信评估是软件可信研究中的一个新方向,相关的理论和方法还处在研究阶段。在分析软件可信内涵的基础上,提出了一种分层的软件可信分级模型。该模型定义了软件可信属性模型与软件可信等级,建立了软件可信证据参考模型,并描述了可信属性、可信等级、可信证据以及可信评价指标之间的内在联系。软件可信分级模型为建立软件可信评估机制提供了一种有效的方法。

引用

页码：231 / 239

页数：9