量子密钥分配协议的Petri网建模及安全性分析

• 作者: 唐朝京 张权 张盛 王剑
• 来源期刊: 量子电子学报
• 学科: 工学
• 关键词: 量子信息 形式化分析 Petri网建模 无条件安全
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 量子光学
• 页码范围: 50-55
• 页数: 6页
• 分类号: TP309.7
• 字数: 2789字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5461.2009.01.009

摘要

量子密钥分配协议已经被证明具有无条件安全特性,但是证明过程比较复杂,不利于推广到其他量子密码协议的安全性分析和证明中.为了简化量子密码协议的安全性证明以及建立一种通用的证明方法,基于Petri网提出一种量子密钥分配协议的形式化分析方法,根据Biham的等效对称化攻击模型,将协议分为主体模型和攻击模型两部分,建立了BB84协议的Petn网模型,然后对模型进行安全性分析,分析结果表明, BB84协议是无条件安全的.该方法提高了安全性分析效率,形式上简洁统一,容易推广到其他量子密码协议的安全性分析中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张权	国防科学技术大学电子科学与工程学院	35	246	10.0	14.0
2	唐朝京	国防科学技术大学电子科学与工程学院	59	382	12.0	16.0
3	王剑	国防科学技术大学电子科学与工程学院	23	447	6.0	21.0
4	张盛	国防科学技术大学电子科学与工程学院	3	3	1.0	1.0