指挥信息系统的安全软件生命周期与需求验证

摘要：

本文对指挥信息系统中的两个关键技术——安全软件生命周期和需求验证问题进行了研究.建立了由六个基本过程组成的安全软件生命周期模型,定义了指挥信息系统的需求,描述了指挥信息系统需求描述与建模方法,提出了采用UML描述指挥信息系统需求和使用Object-Z验证指挥信息系统需求的方法。

关键词： 指挥信息系统 安全软件生命周期 需求验证

作者: 李强 刘峻宇 余祥 许庆光

作者单位: 合肥电子工程学院网络工程系,合肥230037

会议类型: 国内会议

会议名称: 中国电子学会电子系统工程分会第二十届军队信息化理论学术会议、中国指挥与控制学会C4ISR理论与技术专业委员会第一届高峰论坛、信息系统工程国防科技重点实验室第五届C4ISR技术论坛

会议地点: 北京

会议语种:中文

页码: 237-240

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