首页 | 本学科首页   官方微博 | 高级检索  
     检索      

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

关 键 词:软件安全性  安全性设计  分析验证要求  检查单
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号