不可否认协议的Petri网建模与分析

• 作者: 罗军舟 黎波涛
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 不可否认 有色Petri网 建模 形式化分析
• 年，卷（期）: 2005,（9）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1571-1577
• 页数: 7页
• 分类号: TP393.08
• 字数: 3649字
• 语种: 中文

摘要

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用.作为一种特殊的安全协议,不可否认协议虽然已得到了多种形式化方法的分析,但还没有人使用Petri网来分析它们.以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其他形式化方法无法描述的协议性质.使用该方法分析Zhou和Gollmann于1996年提出的一个公平不可否认协议,可以发现该协议的一个许多其他形式化方法不能发现的已知缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗军舟	东南大学计算机科学与工程系	165	4086	26.0	60.0
2	黎波涛	东南大学计算机科学与工程系	5	79	4.0	5.0