基于Petri网的密码协议分析

• 作者: 唐朝京 张权 张森强 王剑
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: Petri网 事件 秘密性
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 24-27
• 页数: 4页
• 分类号: TP309
• 字数: 4996字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2006.02.007

摘要

在Federico提出的一种密码协议进程语言的基础上,建立了便于进行密码协议分析的简化Petri网模型,给出了协议满足秘密性的充要条件,并以NS公钥协议为例,用Petri网模型,结合归纳方法和串空间分析方法从密钥、新鲜数和协议主体三个方面的秘密性分析了该协议的秘密性,简化了协议秘密性的分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐朝京	国防科技大学电子科学与工程学院	97	885	15.0	24.0
2	王剑	国防科技大学电子科学与工程学院	22	159	8.0	11.0
3	张森强	国防科技大学电子科学与工程学院	14	107	7.0	9.0
4	张权	国防科技大学电子科学与工程学院	37	245	10.0	13.0