书目

系统安全保证:策略、方法与实践

内容简介

《系统安全保证:策略、方法与实践》由国际对象管理组织(OMG)KDM分析部门CTO和CEO共同执笔,美国国土安全部、国家网络安全部、全球网络安全管理组的软件质量保证总监鼎力推荐。《系统安全保证:策略、方法与实践》用系统化方式描述了软件系统的安全保证方法,充分利用了对象管理组的软件安全保证体系标准,最终形成一个综合系统模型用于系统的分析和证据收集。主要内容包括:第一部分(第1~3章)介绍网络安全基础知识,以及对象管理组的软件安全保证体系。第二部分(第4~7章)介绍网络安全知识的不同方面,以建立网络安全论据,包括系统知识、与安全威胁和风险相关的知识、漏洞知识,还描述了网络安全内容的新格式,即机器可识别的漏洞模式。第三部分(第8~1l章)介绍对象管理组的软件安全保证体系的协议,包括通用事实模型、语义模型、业务词汇和业务规则语义标准,以及知识发现元模型。第四部分(第12章)通过一个端到端的案例研究来阐释系统安全保证方法、综合系统模型和系统安全保证案例。《系统安全保证:策略、方法与实践》内容广泛,系统性强,适合信息安全领域的研究人员、技术开发人员、高校教师等参考。

作者简介

NikolalMansourov,系统安全保证领域的权威人物,OMG的KDM分析部门CTO,OMGKDM规范的编写者和修订任务小组主席。曾担任Klocwork公司首席科学家和总架构师,以及俄国科学院系统编程研究所的部门主任。此外,他还曾发表50多篇相关的论文。DjenanaCampara,系统安全保证领域的权威人物,OMG的KDM分析部门CEO,OMG董事会成员,并担任系统安全保证任务组的主席。2001年创立了Klocwork公司,并担任CTO。她曾因开创性的静态分析技术而获得多项美国专利,发表了多篇关于软件转换的论文,并在《经济学家与安全计算》等刊物中多次引用。

目录

丛书

安全技术大系

—  END  —