基于Colored Petri网的安全协议描述和验证

• 作者: 刘靖 叶新铭
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: CP-Nets 协议描述 协议验证 NS公钥认证协议
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 计算机网络与信息技术
• 页码范围: 89-92
• 页数: 4页
• 分类号: TP3
• 字数: 6199字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.03.024

摘要

对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性.本文将使用具有强数学基础和强分析能力的着色Petri网(Colored Petri Net,简称CP-Nets)对NS公钥认证协议(NeedhamSchoeder Public-Key Authentication Protocol)进行建模,在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0
2	刘靖	内蒙古大学计算机学院	20	42	3.0	4.0