【摘要】计算机网络技术的飞速发展和规模的扩大使得网络中的各种应用，业务种类越来越丰富，同时网络攻击的手段也逐渐多样化和复杂化。面对大型、复杂、异构的网络环境，传统的针对防火墙、入侵检测系统等安全设备的配置管理完全依赖于管理人员的专业经验，且人工配置是一项既繁琐又易出错的工作，从而可能导致安全设备的配置漏洞而不能执行正确的安全行为的问题。因此，如何结合防御的保护、检测、响应、恢复四个方面，构建面向计算机网络防御的策略求精方法，进而验证该策略求精方法的正确性成为了一项极具挑战性的工作。针对以上问题，本文重点研究了计算机网络防御策略求精方法，计算机网络防御策略求精的语义建模方法，计算机网络防御策略求精的语义一致性分析方法。另外，为了验证防御策略求精方法的有效性，本文将该方法应用在网络可生存性模型的建模验证领域，解决可生存性模型由于环境不同，各种可生存性模型无法在同一环境下进行对比，分析和验证的问题，重点研究了面向移动Ad Hoc网络的可生存性模型建模及其仿真验证方法。主要研究成果如下：(1)提出了一种计算机网络防御策略求精方法现有的计算机网络防御策略求精只支持访问控制策略，VPN策略，而没有站在计算... 更多还原