纠缠对量子认证协议的形式化分析
目前,对量子认证协议的安全性分析方法计算过程复杂且效率低下.如果将形式化分析方法应用于量子认证协议中,那么就能大大提高分析效率.BAN逻辑作为形式化分析方法之一,是一种简洁的协议分析工具.本文提出了使用BAN逻辑对量子认证协议进行安全性分析方法,并以基于纠缠对的量子认证协议为例进行了安全性分析.结果表明，在协议的初始阶段，成功地在Alice与信息中心、B ob与信息中心之间建立了量子信道，并且在合法通信方Alice和B ob之问安全地分配了一个共享密钥;在认证阶段，合法通信方Alice与B ob之间建立了安全的量子信道，互相认证了对方的身份，而且获得了量子密钥。由此可知，协议安全地完成了量子密钥分配功能和身份认证功能。
通信网络 量子认证协议 形式化分析 BAN逻辑
李珂 尚涛 刘建伟
北京航空航天大学 电子信息工程学院,北京,100191
国内会议
南昌
中文
1-10
2015-10-28（万方平台首次上网日期，不代表论文的发表时间）