网络攻击的形式化建模探讨.pdfVIP

网络攻击的形式化建模探讨 苏一丹 李 桂 (上海理工大学管理学院，上海 200093) (广西大学计算机与信息工程学院，南宁 530004) E—mail：ydsu@gxu．edu．cn 摘 要 随着网络入侵技术的不断发展 ，攻击行为表现 出不确定性、复杂性和 多样性的特点，攻击活动往大规模 、协 同 化和多层次方向发展。网络攻击的 日益复杂化迫切需要有一种新的描述方法对之进行有效的形式化建模 ，Z语言和确定 有限 自动机(DFA)是广泛使用的形式化工具，适合用来精确表示模型的语法和语义。文章建立了基于DFA的攻击模型， 并在此基础上利用Z语言对之进行 了有效的形式化描述。 关键词 攻击建模 形式化 Z(Object—Z)语言 确定有限自动机(DFA) 文章编号 1o02—8331一(2004)23—0135—02 文献标识码 A 中图分类号 TP393 TheStudy on Formalization ofNetworkAttack SuYidan- LiGlli (ManagementDepartment，UniversityofShanghaiScienceandTechnology，Shanghai200093) (CoHegeofComputerandInformationEngineering，GuangxiUniv．，Nnaning530004) Abstract： W ith the development of network intrusion technology，attack actions present hte characteristic of indetermination，complexity andmultiplicity，andruntowardsl~ge-scMe，multi-stage andcoordinated．The complication of newtork attack actionsrequiresa new depictmethod tomodelhtem．DFA and Z arewidely used asformaltools。and suitofrprecisely representinghte syntax and semanticsofamod e1．In thispaperna attack modelbaSed on DFA is constructednadZ isemployedtofomr allydepictnetwork attack． Keywords：modelofatatck，ofmralize，Z(Object—Z)，DFA l 引言 文章将在基于DFA的攻击模型的基础上，利用 Z语言对 网络入侵技术与 网络安全技术始终处于一种交替发展的 网络攻击进行有效的形式化描述。 态势 中，随着 网络人侵技术的不断发展 ，攻击行为表现出不确 定性、复杂性和多样性的特点，攻击活动往大规模 、协同化和多 2 基于 DFA的攻击模型 层次方 向发展。攻击活动的日益复杂化迫切需要有一种新的描 攻击的目标不论是远程系统还是网络，攻击者都是通过使 述方法对之进行有效的形式化建模 ，这也是研究新一代入侵检 之从正常状态逐步转变到异常状态从而实现攻击 ，所以网络攻 测系统(IDS)所面临的关键 问题之一。虽然 自然语言可以描述 击行为可以看作操作系统或网络协议进程的一系列状态变化 ， 攻击 的发生 ，但是 自然语言存在着语义不确切 ，不便于计算机 由于操作系统和网络 的状态有限并且是可以定义的，因此可以 进行处理等局限性 ，Tidwell在攻击树的基础上定义了一种攻 建立一个DFA来描述这样一系列的状态变化。 击描述语言来描述复杂攻