《量子密碼協定分析與設計的圖演算方法》是依託北京航空航天大學，由王全龍擔任項目負責人的青年科學基金項目。
《量子密碼協定分析與設計的圖演算方法》是依託北京航空航天大學，由王全龍擔任項目負責人的青年科學基金項目。項目摘要Abramsky和Bob Coecke等人近年建立了以範疇論為框架的抽象量子力學，它使得建立在Hilbert...
在學習和總結現有攻擊方法的基礎上，深入分析各種常見量子密碼協定的安全性，探索其可能存在的安全漏洞。充分開發新的量子力學性質，提出有效的攻擊模型，豐富量子密碼體制中竊聽者可能採用的攻擊策略，同時給出有針對性的改進措施。進而系統總結各種可有效提取秘密信息的攻擊方法，歸納其特點，包括易受影響協定的類型、攻擊...
1.1密碼學的發展歷史 1.1.1古代加密方法（手工階段）1.1.2古典密碼（機械階段）1.1.3現代密碼（計算機階段）1.2量子密碼學的發展歷史 1.3量子密碼學的研究內容 1.3.1量子密鑰分發 1.3.2量子身份認證 1.3.3量子簽名 1.3.4量子安全直接通信 1.3.5量子秘密共享 1.3.6量子密碼協定的安全性分析方法 ...
由於量子網路安全通信中存在各種如竊聽、拒絕服務攻擊、中間人攻擊等攻擊行為，造成機密信息被竊聽或不能準確地傳給接收方，從而對通信進行破壞。尤其是通過“糾纏”等方法對機密信息的竊聽。因此設計出高安全性的量子安全通信協定，並對協定進行安全性分析和證明具有重要的意義。本項目擬設計出高安全性的量子超密編碼安全...
許多在理想條件下設計的量子密碼協定沒有考慮實際通信中噪聲的影響，可能造成機密信息不能被準確傳輸，或可能存在竊聽隱藏在噪聲中的風險，因此分析噪聲條件下量子密碼協定的安全性具有重要的意義。項目的主要研究內容包括： （1）對量子通信信道中的聯合噪聲進行建模。 為了求得環境噪聲的上限，將量子態在聯合噪聲的...
針對不同的套用場景，結合不同的保密通信任務需求，分別基於離散變數和連續變數研究設計高效、可實現性強、抗噪聲和具備特殊功能的多方多級量子密碼協定。研究量子密碼協定的形式化分析方法，建立量子密碼協定的形式化分析理論體系，分析量子密碼協定安全性和效率之間的關係，使量子密碼協定的安全性和效率達到最佳的統一。
設計了七個新型量子密碼協定。具體包括：一個基於GHZ態的高效量子求和協定、一個基於四粒子簇態的量子私密比較協定、一個確定性QKD協定、一個帶仲裁的量子簽名協定、一個基於GHZ態的量子盲簽名協定，基於改進的Ping-Pong 量子安全直接通信和χ型糾纏態的兩個高效量子信息隱藏協定。分析了四個量子密碼協定的安全性。具體...
5、研究量子網路編碼安全協定形式化分析方法。從隨機預言模型角度，提出基於隨機預言模型的安全性分析方法；重新定義量子隨機預言模型，提出基於量子隨機預言模型的安全性分析方法；針對量子隨機預言模型的實例化，構造弱化的量子隨機預言模型。從連續變數和量子混淆的角度，研究新型量子密碼協定設計和安全性分析方法。該研究...
深入分析實際量子密碼系統，特別是MDI-QKD系統的安全性，探索其可能存在的脆弱環節，提出攻擊方法和改進方案，並設計更安全、更實用的新型量子密碼協定。從複合協定分析的觀點出發，分析量子密碼網路協定的潛在脆弱性，探索適用於量子密碼網路協定的形式化分析與安全驗證方法。分析量子密碼網路中的級聯效應問題，建立量子密碼...
