一种新的形式化模型对安全认证协议的分析

• 作者: 姜浩 曾雪娜 胡晓辉
• 来源期刊: 计算机应用研究
• 关键词: 形式化模型 Petri网 协议分析 融合库所 状态空间
• 年，卷（期）: 2010,（12）
• 页码范围: 4667-4669
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.12.078

摘要

针对形式化建模方法在进行网络协议分析时遇到建立模型过程复杂、状态空间庞大等问题,提出在Petri网的基础上,引入融合库所建立一种新的形式化模型.利用该方法对Otway-Rees协议建立模型,并从可达性和仿真两方面进行分析.实验结果表明,该方法适合应用在协议分析中,不仅使协议建立模型更加简便,而且在一定程度上缩小了其状态空间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡晓辉	兰州交通大学电子与信息工程学院	99	503	10.0	16.0
2	曾雪娜	兰州交通大学电子与信息工程学院	2	1	1.0	1.0
3	姜浩	兰州交通大学电子与信息工程学院	2	1	1.0	1.0