摘要：立足软件设计阶段,对关键软件进行安全性分析验证,提出了软件安全性设计的分析验证模型,并依据模型明确安全性设计的分析验证要求,最终给出了安全性检查单。为后续的综合分析验证提供验证目标,从而提高软件和系统的整体安全性。
分类：期刊> 自然科学与工程技术> 工程科技II> 航空航天科学与工程
收录：知网收录(中) > 维普收录(中) > 万方收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：软件安全性 安全性设计 分析验证要求 检查单
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
