【摘要】：對于密碼協(xié)議而言,安全性是其最核心的關(guān)鍵問題,對于量子密碼協(xié)議來說也一樣。研究人員可以通過各種手段證明這些協(xié)議是安全的,但存在極大的困難,因?yàn)檫@對數(shù)學(xué)功底有著很高的要求。該文利用全自動(dòng)化的技術(shù)——模型檢測,采用了形式化驗(yàn)證方法,即基于概率的模型檢測工具PRISM,來對半量子密碼協(xié)議進(jìn)行建模并驗(yàn)證其安全性。該方法避免了傳統(tǒng)基于數(shù)學(xué)方法驗(yàn)證的繁雜,提高了驗(yàn)證的速度和效率。驗(yàn)證的結(jié)果也表明,當(dāng)傳輸足夠多的光子時(shí),檢測出竊聽的概率無限趨近于1,和全量子密碼協(xié)議一樣,半量子密碼協(xié)議也是安全的。
[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.
【作者單位】： 電子科技大學(xué)大數(shù)據(jù)研究中心;電子科技大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院;
【基金】：國家自然科學(xué)基金(61272175,61572019,U1230106)
【分類號】：O413;TN918.4

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 韓正甫,郭光燦;量子密碼研究的進(jìn)展與方向[J];量子光學(xué)學(xué)報(bào);2004年S1期

2 ;中國科協(xié)論壇聚焦量子密碼技術(shù)應(yīng)用[J];中國科技信息;2010年19期

3 ;中國科協(xié)論壇聚焦量子密碼技術(shù)應(yīng)用[J];科技傳播;2010年20期

4 胡波;;量子密碼[J];保密科學(xué)技術(shù);2012年11期

5 范莉;;量子密碼及其“不可破譯性”[J];山西大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2009年02期

6 劉巖;張鳳仙;;量子密碼通信技術(shù)及其應(yīng)用模式研究[J];飛行器測控學(xué)報(bào);2009年03期

7 甘斌;周海剛;趙華;;量子密碼研究與進(jìn)展[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2010年03期

8 ;日本科學(xué)家實(shí)現(xiàn)視頻量子密碼傳輸[J];企業(yè)技術(shù)開發(fā);2010年09期

9 孫曉磊;顏培玉;解志斌;李詮娜;;網(wǎng)絡(luò)安全技術(shù)中的量子密碼通信[J];四川兵工學(xué)報(bào);2010年08期

10 魯韋昌;王立志;;量子密碼通信專利競爭研究[J];信息系統(tǒng)工程;2010年10期

相關(guān)會議論文 前3條

1 韓正甫;郭光燦;;量子密碼研究的進(jìn)展與方向[A];第十一屆全國量子光學(xué)學(xué)術(shù)會議論文摘要集[C];2004年

2 喬輝;吳斌;盛山鋒;陳小余;;量子密碼通信中暗計(jì)數(shù)對誤碼率的影響[A];2008年中國高校通信類院系學(xué)術(shù)研討會論文集（下冊）[C];2009年

3 曾貴華;熊錦;郭迎;何廣強(qiáng);;量子密碼安全性分析[A];第十二屆全國量子光學(xué)學(xué)術(shù)會議論文摘要集[C];2006年

相關(guān)重要報(bào)紙文章 前6條

1 記者 劉垠;量子密碼技術(shù)步入“實(shí)戰(zhàn)”階段[N];大眾科技報(bào);2010年

2 張夢然;量子密碼通信駛上快車道[N];科技日報(bào);2010年

3 本報(bào)記者 張學(xué)珍;量子密碼 可以保護(hù)你我網(wǎng)絡(luò)信息[N];中國婦女報(bào);2011年

4 袁藝;量子密碼：未來戰(zhàn)爭“神器”[N];光明日報(bào);2014年

5 本報(bào)記者 王亮;量子密碼能否讓信息絕對安全[N];遼寧日報(bào);2014年

6 王顯承;量子密碼為啥不怕“竊聽”[N];北京科技報(bào);2003年

相關(guān)博士學(xué)位論文 前10條

1 黃偉;多方量子密碼協(xié)議的設(shè)計(jì)與分析[D];北京郵電大學(xué);2015年

2 楊帆;量子密碼協(xié)議的概率形式化研究[D];電子科技大學(xué);2016年

3 劉星彤;基于脆弱性分析的量子密碼安全性研究[D];國防科學(xué)技術(shù)大學(xué);2014年

4 趙良圓;量子密碼協(xié)議的理論研究[D];中國科學(xué)技術(shù)大學(xué);2017年

5 銀振強(qiáng);量子密碼與量子中繼研究[D];中國科學(xué)技術(shù)大學(xué);2010年

6 王劍;量子密碼協(xié)議理論研究[D];國防科學(xué)技術(shù)大學(xué);2007年

7 董健;量子密碼通信若干問題的研究[D];天津大學(xué);2009年

8 王天銀;量子密碼協(xié)議的理論研究[D];北京郵電大學(xué);2010年

9 劉東;量子密碼實(shí)際安全性與應(yīng)用研究[D];中國科學(xué)技術(shù)大學(xué);2014年

10 張陽;光纖量子密碼實(shí)驗(yàn)和實(shí)用化研究[D];中國科學(xué)技術(shù)大學(xué);2012年

相關(guān)碩士學(xué)位論文 前10條

1 杜方維;量子密碼協(xié)議設(shè)計(jì)與量子搜索算法應(yīng)用研究[D];解放軍信息工程大學(xué);2014年

2 喬輝;量子密碼通信的經(jīng)典仿真[D];浙江工商大學(xué);2010年

3 張守林;連續(xù)變量量子密碼協(xié)議設(shè)計(jì)與分析[D];國防科學(xué)技術(shù)大學(xué);2009年

4 李旭;自由空間量子密碼通信研究[D];長春理工大學(xué);2009年

5 張盛;量子密碼協(xié)議的形式化分析方法研究[D];國防科學(xué)技術(shù)大學(xué);2007年

6 陳波;量子密碼通訊后處理軟件設(shè)計(jì)[D];清華大學(xué);2003年

7 李若虹;自由空間量子密碼通信及Faraday反常色散光學(xué)濾波器[D];中國科學(xué)院研究生院（武漢物理與數(shù)學(xué)研究所）;2003年

8 馮發(fā)勇;量子密碼的若干研究[D];中國科學(xué)技術(shù)大學(xué);2006年

9 王歡;量子密碼通信用長波長InN單光子源探測系統(tǒng)的設(shè)計(jì)初探[D];長春理工大學(xué);2008年

10 常政剛;量子密碼協(xié)議的安全性分析[D];解放軍信息工程大學(xué);2012年

，

本文編號：2218139