构造基于互联网的可信软件生产服务系统

被引:1
作者
尹刚
王怀民
袁霖
朱沿旭
史殿习
米海波
机构
[1] 国防科学技术大学计算机学院
关键词
可信软件; 证据组合; 开源软件; 可信软件生产工具与集成环境(Trustie);
D O I
暂无
中图分类号
TP309 [安全保密];
学科分类号
081201 ; 0839 ; 1402 ;
摘要
基于互联网构造可信软件的大规模协作开发环境是近年来软件工程领域的热点。对当前若干典型软件协作开发方法和技术进行了分析,参考人类社会生产概念体系,提出了一种面向互联网的可信软件生产框架,对可信软件生产的概念、生产要素、生产活动和生产方式进行了系统的分类和阐述,给出了基本生产过程和核心生产要素组织方法。结合国家863重点项目软件成果"可信的国家软件资源共享与协同生产环境(Trustie)",分析了该可信软件生产框架在软件资源共享、协作开发和可信评估等方面的机理和有效性。
引用
收藏
页码:880 / 890
页数:11
相关论文
共 3 条
[1]   网构软件技术体系:一种以体系结构为中心的途径 [J].
杨芙清 ;
吕建 ;
梅宏 .
中国科学(E辑:信息科学), 2008, (06) :818-828
[2]   “可信软件基础研究”重大研究计划综述 [J].
刘克 ;
单志广 ;
王戟 ;
何积丰 ;
张兆田 ;
秦玉文 .
中国科学基金, 2008, (03) :145-151
[3]  
生产方式.[M].于金富; 著.社会科学文献出版社.2009,