基于事件类型的网络协议建模

• 作者: 杨宝华 金秀
• 来源期刊: 安徽建筑工业学院学报（自然科学版）
• 学科: 工学
• 关键词: 模型检查 协议分析 逻辑验证 协议漏洞
• 年，卷（期）: 2009,（6）
• 页码范围: 96-100
• 页数: 5页
• 分类号: TU393
• 字数: 4609字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-4540.2009.06.025

摘要

提出了基于事件类型的网络协议建模方法,并在模型的基础上对协议进行检测实验.协议的模型检查实验中最重要的是状态模型的描述,其决定了检测结果的精确性和有效性.事件类型的状态描述方法是通过外部事件和内部事件建立一个完整有效的状态层次模型,模型检查算法对建立的状态模型进行检测,最终得到性质检测结果.本文通过对WEP协议和四次握手协议进行事件类型的建模分析证明了状态层次方法有利于网络协议的建模与检测.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨宝华	安徽农业大学信息与计算机学院	37	153	6.0	11.0
2	金秀	安徽农业大学信息与计算机学院	20	17	2.0	3.0