形成高可信军用软件开发能力

摘要：

从形成高可信军用软件持续开发能力的角度出发,对主要的风险进行了标识,探讨了形成高可信军用软件开发能力需要重点加强的理论和技术研究方向,总结了政府和军方在软件可信性教育和培训、技术转换和评估认证上需要开展的工作;并针对我国当前军事需求定义了软件可信性的概念,提出了军用软件可信计算的基本体系结构.

关键词： 软件可信性 可信计算 体系结构 软件过程

作者: 张子丘 郑宇军 王侃 刘卫波

作者单位: 装甲兵工程学院控制工程系,北京,100072;武器装备论证研究中心,北京,100034 工程装备系统工程研究所,北京,100093;中国科学院软件研究所,北京,100080 装甲兵工程学院控制工程系,北京,100072 工程装备系统工程研究所,北京,100093

会议类型: 国内会议

会议名称: 第二届中国可信计算与信息安全学术会议

会议地点: 河北保定

会议语种:中文

页码: 682-685

在线出版日期: 2006-10-21（万方平台首次上网日期，不代表论文的发表时间）