基于颜色Petri网的密码协议的分析

• 作者: 叶红 蒋昌俊 袁志祥
• 来源期刊: 安徽工业大学学报（自然科学版）
• 关键词: 颜色Petri网 密码协议 密码分析
• 年，卷（期）: 2002,（4）
• 页码范围: 319-324
• 页数: 6页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7872.2002.04.016

摘要

密码协议的成功设计是安全领域的关键问题之一,对密码协议进行形式化分析成为当前研究的热点.通过引入颜色Petri网来描述密码协议,并以TMN协议为例,利用Petri网的状态矩阵分析特性对其进行分析,发现并验证TMN协议的安全缺陷.最终说明利用Petri网分析密码协议是可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	同济大学计算机系	93	1492	18.0	36.0
2	袁志祥	同济大学计算机系	33	149	7.0	10.0
4	叶红	安徽工业大学计算机学院	7	33	3.0	5.0