面向网络对抗的缓冲区溢出攻击描述语言研究

Study on buffer overflow attack description language of computer network counterwork

以计算机网络对抗为背景,以缓冲区溢出攻击为例,通过抽象缓冲区溢出攻击的规律,分析植入代码的结构特征,设计一种用于网络对抗演练的缓冲区溢出攻击描述语言,并进行形式化分析证明。实际验证表明,该缓冲区溢出攻击描述语言能够动态地构造植入代码,实现缓冲区溢出攻击的自动化。

Under the background of computer network counterwork and taking buffer overflow as example, a buffer overflow attack description language was designed for it through analyzing embedded code＇s structure and features and abstracting the rule of buffer overflow attack. The actual verification shows that attack description language can correspondingly construct suitable embedded code and launch attack automatically.