【摘要】 采用确定的有限状态自动机理论对复杂的网络攻击行为进行形式化描述,建立了SYN-Flooding等典型攻击的自动机识别模型。通过这些模型的组合可以表示更为复杂的网络攻击行为,从而为研究网络入侵过程提供了一种更为直观的形式化手段。更多还原

【Abstract】 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.更多还原