| 网络攻击的形式化建模探讨 |
| |
| 引用本文： | 苏一丹,李桂.网络攻击的形式化建模探讨[J].计算机工程与应用,2004,40(23):135-136,168. |
| |
| 作者姓名： | 苏一丹 李桂 |
| |
| 作者单位： | 1. 上海理工大学管理学院,上海,200093;广西大学计算机与信息工程学院,南宁530004
2. 广西大学计算机与信息工程学院,南宁530004 |
| |
| 基金项目： | 广西科技攻关项目(编号:0322012-5)，广西教育厅科研基金(编号:030709) |
| |
| 摘 要： | 随着网络入侵技术的不断发展,攻击行为表现出不确定性、复杂性和多样性的特点,攻击活动往大规模、协同化和多层次方向发展。网络攻击的日益复杂化迫切需要有一种新的描述方法对之进行有效的形式化建模,Z语言和确定有限自动机(DFA)是广泛使用的形式化工具,适合用来精确表示模型的语法和语义。文章建立了基于DFA的攻击模型,并在此基础上利用Z语言对之进行了有效的形式化描述。
|
| 关 键 词： | 攻击建模 形式化 Z(Object-Z)语言 确定有限自动机(DFA) |
| 文章编号： | 1002-8331-(2004)23-0135-02 |
The Study on Formalization of Network Attack |
| |
| Su Yidan , Li Gui.The Study on Formalization of Network Attack[J].Computer Engineering and Applications,2004,40(23):135-136,168. |
| |
| Authors: | Su Yidan Li Gui |
| |
| Affiliation: | Su Yidan 1,2 Li Gui 21 |
| |
| Abstract: | With the development of network intrusion technology,attack actions present the characteristic of indetermination,complexity and multiplicity,and run toward s large-scale,multi-stage and coordinated.The complication of network attack actions require s a new depict method to model them.DFA and Z are widely used as formal tools,and suit for precisely representing the syntax and semantics of a model.In this paper an attack model based on DFA is constructed and Z is employed to formally depict network attack. |
| |
| Keywords: | model of attack formalize Z(Object-Z) DFA |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
