随着计算机和互联网技术的不断发展，网络应用越来越广泛。网络安全的重要性日益凸显，已成为各个安全组织、机构的研究热点。而攻击重演平台是将网络攻击方法、攻击工具、攻击决策、攻击环境以及攻击效果等各种信息有机集成在一起，它的主要思想是利用计算机技术重演攻击过程，通过此平台可以对网络攻击过程有一个深刻的了解，加强自我防范意识，在理解攻击原理的基础上，针对各种网络攻击提出防御策略。　　 本文依托的科研项目"网络攻击自动生成及网络侦训系统"（见附录Ⅱ）主要研究攻击重演平台，实现典型网络攻击的通用实验硬件平台和软基础环境平台，而攻击环境自动生成作为项目中重要模块之一，实现为攻击演练创建一个逼近于现实网络的攻击环境。它是进行攻击演练的前提。　　 目前，对攻击环境的研究还处于起步阶段，在国内对此研究不多，国外研究机构对攻击环境的研究公开资料很少，没有一个公开、完整的系统可供参考。当前对网络安全方面的研究基本都是基于仿真平台或者单机环境[12]。本文作者查阅大量文献资料，参考虚拟计算环境的研究成果，提出虚拟攻击环境的生成，为攻击重演平台自动生成攻击环境，同时也为网络安全研究者提供一个进行网络安全研究的良好环境。　　 论文首先参考关于攻击技术、系统漏洞、攻击环境等知识的基本理论，分析攻击环境特征和属性、攻击环境与漏洞之间的关系、攻击环境与攻击技术之间的关系以及攻击环境自动生成的关键技术点；依据软件自动化开发的理论基础，提出B方法形式化攻击环境自动生成过程，结合使用虚拟机技术实现攻击环境的生成；然后，基于B方法软件开发的理论基础，结合UML统一建模语言，对系统静态和动态行为建模，建立系统类图和顺序图的抽象机，验证抽象机的正确性，从抽象机的最终精化中推导出接近代码的系统功能结构；最后，使用虚拟机VMware技术，依据从抽象机推导出的系统功能模型，实现攻击环境自动生成系统，并给出一个具体的实例，通过实例详细论述了攻击环境自动生成的实用性与有效性。