基于模型检测的半量子密码协议的安全性分析

发布时间：2018-09-01 19:34

【摘要】：对于密码协议而言,安全性是其最核心的关键问题,对于量子密码协议来说也一样。研究人员可以通过各种手段证明这些协议是安全的,但存在极大的困难,因为这对数学功底有着很高的要求。该文利用全自动化的技术——模型检测,采用了形式化验证方法,即基于概率的模型检测工具PRISM,来对半量子密码协议进行建模并验证其安全性。该方法避免了传统基于数学方法验证的繁杂,提高了验证的速度和效率。验证的结果也表明,当传输足够多的光子时,检测出窃听的概率无限趋近于1,和全量子密码协议一样,半量子密码协议也是安全的。
[Abstract]:For cryptographic protocols, security is the key issue at the core, as is for quantum cryptographic protocols. Researchers can prove that these protocols are secure by various means, but there are great difficulties, because they have a high requirement for mathematical knowledge. A formal verification method, probability-based model checking tool PRISM, is used to model and verify the security of semi-quantum cryptographic protocols. This method avoids the complexity of traditional mathematical verification and improves the speed and efficiency of verification. The probability is infinitely approaching 1. As with the full quantum cryptography protocol, the semi quantum cryptographic protocol is also secure.
【作者单位】： 电子科技大学大数据研究中心;电子科技大学计算机科学与工程学院;
【基金】：国家自然科学基金(61272175,61572019,U1230106)
【分类号】：O413;TN918.4

【相似文献】

相关期刊论文 前10条

1 韩正甫,郭光灿;量子密码研究的进展与方向[J];量子光学学报;2004年S1期

2 ;中国科协论坛聚焦量子密码技术应用[J];中国科技信息;2010年19期

3 ;中国科协论坛聚焦量子密码技术应用[J];科技传播;2010年20期

4 胡波;;量子密码[J];保密科学技术;2012年11期

5 范莉;;量子密码及其“不可破译性”[J];山西大学学报(哲学社会科学版);2009年02期

6 刘岩;张凤仙;;量子密码通信技术及其应用模式研究[J];飞行器测控学报;2009年03期

7 甘斌;周海刚;赵华;;量子密码研究与进展[J];网络安全技术与应用;2010年03期

8 ;日本科学家实现视频量子密码传输[J];企业技术开发;2010年09期

9 孙晓磊;颜培玉;解志斌;李诠娜;;网络安全技术中的量子密码通信[J];四川兵工学报;2010年08期

10 鲁韦昌;王立志;;量子密码通信专利竞争研究[J];信息系统工程;2010年10期

相关会议论文 前3条

1 韩正甫;郭光灿;;量子密码研究的进展与方向[A];第十一届全国量子光学学术会议论文摘要集[C];2004年

2 乔辉;吴斌;盛山锋;陈小余;;量子密码通信中暗计数对误码率的影响[A];2008年中国高校通信类院系学术研讨会论文集（下册）[C];2009年

3 曾贵华;熊锦;郭迎;何广强;;量子密码安全性分析[A];第十二届全国量子光学学术会议论文摘要集[C];2006年

相关重要报纸文章 前6条

1 记者 刘垠;量子密码技术步入“实战”阶段[N];大众科技报;2010年

2 张梦然;量子密码通信驶上快车道[N];科技日报;2010年

3 本报记者 张学珍;量子密码 可以保护你我网络信息[N];中国妇女报;2011年

4 袁艺;量子密码：未来战争“神器”[N];光明日报;2014年

5 本报记者 王亮;量子密码能否让信息绝对安全[N];辽宁日报;2014年

6 王显承;量子密码为啥不怕“窃听”[N];北京科技报;2003年

相关博士学位论文 前10条

1 黄伟;多方量子密码协议的设计与分析[D];北京邮电大学;2015年

2 杨帆;量子密码协议的概率形式化研究[D];电子科技大学;2016年

3 刘星彤;基于脆弱性分析的量子密码安全性研究[D];国防科学技术大学;2014年

4 赵良圆;量子密码协议的理论研究[D];中国科学技术大学;2017年

5 银振强;量子密码与量子中继研究[D];中国科学技术大学;2010年

6 王剑;量子密码协议理论研究[D];国防科学技术大学;2007年

7 董健;量子密码通信若干问题的研究[D];天津大学;2009年

8 王天银;量子密码协议的理论研究[D];北京邮电大学;2010年

9 刘东;量子密码实际安全性与应用研究[D];中国科学技术大学;2014年

10 张阳;光纤量子密码实验和实用化研究[D];中国科学技术大学;2012年

相关硕士学位论文 前10条

1 杜方维;量子密码协议设计与量子搜索算法应用研究[D];解放军信息工程大学;2014年

2 乔辉;量子密码通信的经典仿真[D];浙江工商大学;2010年

3 张守林;连续变量量子密码协议设计与分析[D];国防科学技术大学;2009年

4 李旭;自由空间量子密码通信研究[D];长春理工大学;2009年

5 张盛;量子密码协议的形式化分析方法研究[D];国防科学技术大学;2007年

6 陈波;量子密码通讯后处理软件设计[D];清华大学;2003年

7 李若虹;自由空间量子密码通信及Faraday反常色散光学滤波器[D];中国科学院研究生院（武汉物理与数学研究所）;2003年

8 冯发勇;量子密码的若干研究[D];中国科学技术大学;2006年

9 王欢;量子密码通信用长波长InN单光子源探测系统的设计初探[D];长春理工大学;2008年

10 常政刚;量子密码协议的安全性分析[D];解放军信息工程大学;2012年

，

本文编号：2218139