【摘要】：對于密碼協(xié)議而言,安全性是其最核心的關鍵問題,對于量子密碼協(xié)議來說也一樣。研究人員可以通過各種手段證明這些協(xié)議是安全的,但存在極大的困難,因為這對數(shù)學功底有著很高的要求。該文利用全自動化的技術——模型檢測,采用了形式化驗證方法,即基于概率的模型檢測工具PRISM,來對半量子密碼協(xié)議進行建模并驗證其安全性。該方法避免了傳統(tǒ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.
【作者單位】： 電子科技大學大數(shù)據(jù)研究中心;電子科技大學計算機科學與工程學院;
【基金】：國家自然科學基金(61272175,61572019,U1230106)
【分類號】：O413;TN918.4

【相似文獻】

相關期刊論文 前10條

1 韓正甫,郭光燦;量子密碼研究的進展與方向[J];量子光學學報;2004年S1期

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

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

4 胡波;;量子密碼[J];保密科學技術;2012年11期

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

6 劉巖;張鳳仙;;量子密碼通信技術及其應用模式研究[J];飛行器測控學報;2009年03期

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

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

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

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

相關會議論文 前3條

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

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

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

相關重要報紙文章 前6條

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

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

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

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

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

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

相關博士學位論文 前10條

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

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

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

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

5 銀振強;量子密碼與量子中繼研究[D];中國科學技術大學;2010年

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

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

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

9 劉東;量子密碼實際安全性與應用研究[D];中國科學技術大學;2014年

10 張陽;光纖量子密碼實驗和實用化研究[D];中國科學技術大學;2012年

相關碩士學位論文 前10條

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

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

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

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

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

6 陳波;量子密碼通訊后處理軟件設計[D];清華大學;2003年

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

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

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

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

，

本文編號：2218139