一种支持软件资源可信评估的框架

被引:28
作者
蔡斯博 [1 ,2 ]
邹艳珍 [1 ,2 ]
邵凌霜 [1 ,2 ]
谢冰 [1 ,2 ]
邵维忠 [1 ,2 ]
机构
[1] 北京大学信息科学技术学院软件研究所
[2] 高可信软件技术教育部重点实验室(北京大学)
基金
国家创新研究群体科学基金;
关键词
软件资源库; 软件可信; 可信评估;
D O I
暂无
中图分类号
TP311.52 [];
学科分类号
081202 ; 0835 ;
摘要
提出了一种支持软件资源可信评估的框架,并分析了该框架涉及到的技术,如证据收集、证据信任管理和可信评估等.阐述了该框架在北京大学软件资源库中的设计决策和实现方案,并给出一个详尽的实例分析.
引用
收藏
页码:359 / 372
页数:14
相关论文
共 7 条
[1]   一种可扩展的Web Service QoS管理框架 [J].
邵凌霜 ;
李田 ;
赵俊峰 ;
王亚沙 ;
谢冰 ;
梅宏 .
计算机学报, 2008, (08) :1458-1470
[2]  
Trustworthiness of Internet-based software[J]. WANG Huaimin, TANG Yangbin, YIN Gang & LI Lei School of Computer Science, National University of Defense Technology, Changsha 410073, China.Science in China(Series F:Information Sciences). 2006(06)
[3]   支持管理在线构件的基本构件描述模型 [J].
潘颖 ;
刘洋 ;
谢冰 ;
杨芙清 .
电子学报, 2003, (S1) :2110-2114
[4]   高可信软件工程技术 [J].
陈火旺 ;
王戟 ;
董威 .
电子学报, 2003, (S1) :1933-1938
[5]   软件复用与软件构件技术 [J].
杨芙清 ;
梅宏 ;
李克勤 .
电子学报, 1999, (02) :69-76+52
[6]  
Software trustworthiness classification specification.Version2.0. Liu XD,Lang B,Xie B,Mao XG,Wang HM. TRUSTIE-STC V2.0 . 2009
[7]  
High confidence software en- gineering technologies. Chen H W,Wang J,Dong W. Acta Elec Sin . 2003