网络与信息安全前沿技术丛书：信息安全仿真验证技术

《网络与信息安全前沿技术丛书：信息安全仿真验证技术》是一本国内全面介绍信息安全仿真验证技术的学术专著。本书从概述、信息安全仿真理论与方法、基于仿真的信息安全测试、基于仿真的信息安全评估、信息安全仿真验证平台、应用案例和技术展望等多个方面进行了详细介绍。 在概述中，介绍了信息安全仿真、验证、测试、评估等基本概念。随后，从理论与方法、建模与仿真、信息安全仿真模型等多个角度讲解了信息安全仿真理论与方法。接着，以软件安全测试技术、网络安全测试技术和安全漏洞检测技术为切入点，对基于仿真的信息安全测试进行了论述。其次，结合CC通用标准、BS7799标准、CMM系统安全工程能力成熟度模型、NIST相关标准和OVAT等评估标准规范，以及德尔斐法、故障树分析法、事件树分析法、概率风险评估、层次分析法、基于模型的评估方法和通用漏洞评分系统等评估方法，系统性地介绍了基于仿真的信息安全评估。最后，详细阐述了构建仿真验证平台的技术，并分别介绍了仿真验证子系统、业务仿真系统、攻防仿真系统、安全评估系统和平台控制系统，以及三个具体应用案例。此外，还对云计算安全、大数据安全、物联网安全、移动终端安全、电磁环境仿真技术和安全靶场技术等领域的技术展望进行了展望。 本书紧密结合理论和实践，通过介绍如何运用信息安全仿真验证技术对信息系统进行仿真、测试和评估的方式，为信息系统安全方向工程技术人员在实际工作中执行这些技术和方法提供了指导。因此，本书被推荐给从事信息系统安全方向的教学、科研和工程技术人员。