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

• 作者: 李桂 苏一丹
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 攻击建模 形式化 Z(Object-Z)语言 确定有限自动机(DFA)
• 年，卷（期）: 2004,（23）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 135-136,168
• 页数: 3页
• 分类号: TP393
• 字数: 2564字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.23.042

摘要

随着网络入侵技术的不断发展,攻击行为表现出不确定性、复杂性和多样性的特点,攻击活动往大规模、协同化和多层次方向发展.网络攻击的日益复杂化迫切需要有一种新的描述方法对之进行有效的形式化建模,Z语言和确定有限自动机(DFA)是广泛使用的形式化工具,适合用来精确表示模型的语法和语义.文章建立了基于DFA的攻击模型,并在此基础上利用Z语言对之进行了有效的形式化描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏一丹	上海理工大学管理学院	13	75	6.0	8.0
5	李桂	广西大学计算机与信息工程学院	9	110	6.0	9.0