网络攻击过程的形式化描述方法研究  

Research on Formal Description Techniques of Network Attack Procedures

作　　者：史志才[1] 陈超[1] 彭丹[1] 陶龙明[1] 

机构地区：[1]大连大学信息工程学院辽宁省智能信息处理重点实验室,辽宁大连116622

出　　处：《计算机应用研究》2007年第5期150-152,155,共4页Application Research of Computers

基　　金：辽宁省教育厅高等学校科学技术研究项目(20040046)

摘　　要：采用确定的有限状态自动机理论对复杂的网络攻击行为进行形式化描述,建立了SYN-Flooding等典型攻击的自动机识别模型。通过这些模型的组合可以表示更为复杂的网络攻击行为,从而为研究网络入侵过程提供了一种更为直观的形式化手段。Deterministic Finite Automation（DFA） was used to give the formal description of the complicated network attack behaviors. The DFA models of some typical network attacks were proposed, All kinds of complicated network attack procedures could be represented by combining these DFA models. Then a direct and formal means was provided for researching network attack procedures.

关 键 词：计算机网络 有限状态自动机 网络攻击 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]