软件安全性设计的分析验证要求研究 |
| |
引用本文: | 李雪飞,李海峰.软件安全性设计的分析验证要求研究[J].航空标准化与质量,2017(3). |
| |
作者姓名: | 李雪飞 李海峰 |
| |
作者单位: | 中国航空综合技术研究所,北京,100028 |
| |
摘 要: | 立足软件设计阶段,对关键软件进行安全性分析验证,提出了软件安全性设计的分析验证模型,并依据模型明确安全性设计的分析验证要求,最终给出了安全性检查单。为后续的综合分析验证提供验证目标,从而提高软件和系统的整体安全性。
|
关 键 词: | 软件安全性 安全性设计 分析验证要求 检查单 |
本文献已被 CNKI 万方数据 等数据库收录! |
|