面向网络对抗的防御虚拟机研究与实现

Research and implementation of defense of buffer overflow virtual machine based on computer network operation

以缓冲区溢出为例,以面向网络对抗为研究背景,研究并实现一种虚拟机作为防御单元。实例表明,虚拟机能够很好地表现基于计算机网络的自组织协同对抗,实现防御的可控性,并用一阶逻辑给出正确性证明。

With the computer network operation as research and buffer overflow as example, researched and implemented a virtual machine to defense. Example shows that virtual machine can well present the self-organized coordinated information operation based on computer network. Lastly, proved it with logic.