量子密码协议的BAN逻辑分析

摘要：

量子密码协议的安全性证明一直以来是一个研究难点,虽然QKD协议已经被证明是无条件安全的,但是证明过程相当复杂.到目前为止还没有一种通用的方法能证明所有的量子密码协议,本文提出一种新的方法,即利用BAN逻辑分析方法证明量子密码协议的安全性。接着以一个基于纠缠交换的量子安全直接通信协议的BAN逻辑证明做为例子。结果表明,利用形式化分析工具对量子密码协议进行证明,可以简化量子密码协议的安全证明步骤,并且是一种通用的证明法。

关键词： 量子密码协议 BAN逻辑 量子安全直接通信 纠缠交换 通信协议

作者: 张盛 王剑 范琏 张权

作者单位: 国防科学技术大学,电子科学与工程学院,长沙,410073

会议类型: 国内会议

会议名称: 第一届中国高校通信类院系学术研讨会

会议地点: 扬州

会议语种:中文

页码: 421-426

在线出版日期: 2007-07-27（万方平台首次上网日期，不代表论文的发表时间）