10.3404/j.issn.1672-7649.2010.09.015
基于STAMP的舰载作战系统软件安全研究
为有效保障系统安全性,应用系统理论事故建模和过程,以安全控制为核心,针对舰载作战系统软件研制过程,总结了软件安全相关活动的层次控制结构和过程控制结构.在此基础上,进一步分析了软件开发和运行各环节的安全约束,可能的设计缺陷和智力模型缺陷;并以实例说明基于STAMP的软件风险分析的过程.系统安全定义、控制缺陷识别和设计约束创建,可以通过系统设计消除或控制风险.本研究对于开发满足系统安全需求的舰载作战系统软件具有积极的指导意义.
系统理论事故建模和过程、软件安全、舰载作战系统
32
U674.71;TP319
2010-10-28(万方平台首次上网日期,不代表论文的发表时间)
共5页
63-66,75