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

摘要

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