基于有色Petri网的一种密码协议的描述和分析

• 作者: 朱思铭 王常吉 罗志宏
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 有色Petri网 密码协议 描述和分析
• 年，卷（期）: 2006,（23）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 106-108
• 页数: 3页
• 分类号: TP393
• 字数: 3215字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.23.032

摘要

Petri网作为一种数学工具,已被广泛应用于过程的描述、分析和验证.文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析,发现并验证该协议的安全缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱思铭	中山大学数学系	94	573	13.0	20.0
2	王常吉	中山大学计算机系	16	89	5.0	8.0
3	罗志宏	中山大学计算机系	13	25	3.0	4.0