《密碼協定的模型檢測分析研究》是依託中國科學院大學，由張玉清擔任項目負責人的青年科學基金項目。
《密碼協定的模型檢測分析研究》是依託中國科學院大學，由張玉清擔任項目負責人的青年科學基金項目。項目摘要研究運用模型檢測技術分析密碼協定的理論與技術，提出適用的分析密碼協定的方法、手段以及計算機輔助分析工具軟體，分析典型密...
但由於CSP模型檢驗技術存在狀態空間爆炸問題，於是進一步提出了結合進程代數和邏輯推理的基於良構符號跡的分析模型，並給出了有效的密碼協定驗證算法，而且利用SML語言實現了該算法，從而實現了密碼協定在一定程度上的自動化分析。
《基於雲外包計算的理性密碼協定模型與方法研究》是依託河南師範大學，由張恩擔任項目負責人的聯合基金項目。項目摘要 理性密碼協定是密碼學重要研究方向之一，已取得一些學術成果，但對秘密共享和安全多方計算協定中參與者合謀問題、計算不...
在學習和總結現有攻擊方法的基礎上，深入分析各種常見量子密碼協定的安全性，探索其可能存在的安全漏洞。充分開發新的量子力學性質，提出有效的攻擊模型，豐富量子密碼體制中竊聽者可能採用的攻擊策略，同時給出有針對性的改進措施。進而系統...
《聯合噪聲條件下量子密碼協定安全性分析理論研究》是依託北京郵電大學，由李劍擔任項目負責人的面上項目。項目摘要 多數在理想條件下設計的量子密碼協定沒有考慮實際通信中噪聲的影響，可能造成機密信息不能被準確傳輸，或可能存在竊聽隱藏在...
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.3...
.本項目在有泄露攻擊的場景中，基於不同的敵手攻擊模型，研究抗泄露安全的密碼協定的理論和方法，設計更接近於現實情況的、高效的安全密碼協定。具體內容包括：（1）利用多源提取器、同構加密方案、哈希證明系統、密鑰同構的偽隨機函式，給...
密碼協定的概念、缺陷與可能受到的攻擊類型，現有的一些密碼協定形式化分析方法，密碼協定的設計準則，密碼協定分析的主要形式化語言和分析工具，Kerberos協定、IPSee協定、SSL協定、X.509以及SET協定這五個密碼協定的實現方法和工作原理。
《基於量子馬爾可夫鏈的模型檢測理論的研究》是依託中國科學院數學與系統科學研究院，由尚雲擔任項目負責人的面上項目。項目摘要 為保證實際量子密碼協定和量子工程系統的正確性與安全性，有必要建立適合一般量子系統的模型檢測理論。然而，...
陳克非上海交通大學計算機科學與工程系教授，長期從事密碼與信息安全理論研究。主要研究興趣是序列密碼、可證明安全、密碼協定分析、數據安全。近年來承擔多項國家自然科學基金、國家高技術研究發展計畫（863計畫），發表學術論文150多篇，編輯...
結合半量子密碼協定研究中存在的問題，我們將重點開展以下四方面的研究：1、通過全面分析總結現有量子密碼協定中所採用的基本量子操控手段，歸納出適宜於只具有經典計算能力的經典方的操控手段集合，以解決現有情況下因為合理的經典方模型的...
鄭東，西安郵電大學。教授。主要研究方向包括公鑰密碼算法、安全協定分析、抗-量子密碼理論、密碼套用技術等。圖書目錄 第1章 密碼學引論 1.1 密碼學在信息安全中的作用 1.1.1 信息安全面臨的威脅 1.1.2 信息安全需要的基本安全服務...
本課題綜合考慮認證效率和安全性，研究RFID隱私保護認證協定，以同時達到高效認證和隱私保護的目的；同時為RFID系統設計形式化的隱私模型，為RFID系統提供安全理論基礎。本課題首次提出了認證效率和安全性由密鑰組織方式決定，並據此提出了高效...
對Deursen和Radomirovic關於Ha等人RFID隱私模型的主要評價結論進行了再分析；(3) 分析改進了Khan和Alghathbar雙因用戶認證無線感測器網路密碼協定，分析改進了Lee等人設計的無線感測器網路密碼協定。
《RFID安全協定形式化模型研究》是鄧淼磊為項目負責人，河南工業大學為依託單位的青年科學基金項目。科研成果 項目摘要 採用形式化方法才能全面、客觀地分析射頻識別（RFID）安全協定，但是現有成熟的安全協定形式化模型不能準確地描述RFID系統...
9.2.1 保護隱私的點線叉積協定 91 9.2.2 保護隱私的APSD協定 92 9.2.3 保護隱私的單源最短距離協定 93 9.3 安全兩方線段求交協定 94 9.3.1 原理分析 94 9.3.2 協定描述 95 9.3.3 協定分析 96 9.3.4 惡意模...
在雲計算的研究和部署過程中，雲安全得到了高度重視。為提升雲計算環境下數據存儲的安全性，本項目創新性提出了虛擬專有存儲的概念，並較為系統地研究了相應的理論模型、方法、協定和套用。項目執行期間，共申請專利22項，發表研究論文71...
本項目將主要研究資訊理論安全的密鑰協商協定。資訊理論安全又稱無條件安全，它是基於資訊理論的一種新的安全模型。在資訊理論安全模型中，敵人可以擁有無限的計算資源，因此比計算安全模型更好、更安全。我們將以熵、互信息等為工具，研究資訊理論...
密碼模組 密碼模組（cryptographic module）是2018年經全國科學技術名詞審定委員會審定發布的計算機科學技術名詞。定義 相對獨立的軟體或硬體模組，它完成密碼運算功能並提供調用接口。出處 《計算機科學技術名詞》 (第三版)
8.1 安全協定形式化分析方法與工具 170 8.2 無線感測器網路安全協定的形式化方法 174 8.2.1 安全協定的驗證需求 174 8.2.2 形式化分析研究現狀 175 8.2.3 形式化方法綜合框架 176 8.3 基於模型檢測的安全協定分析與改進 178...
例如，在門限秘密共享協定中，每個理性參與者在秘密恢復階段都不願意貢獻自己的子秘密，從而最終導致協定無法恢復出秘密信息。本項目在量子協定設計中考慮理性參與者的存在，主要通過借鑑經典理性密碼協定的研究思路，對理性參與者模型中行為...
首先，研究了與量子信息隱藏協定密切相關的量子秘密共享（QSS）協定、遠程態製備（RSP）協定和量子直接通信（QDC）協定。（1）設計了2個新型QSS協定，分析了3個已有協定的安全性。具體包括：一個基於糾纏GHZ態的三方QSS協定、一個可擴展...
研究方向 研究所的主要研究領域集中在密碼學的數學理論與方法、密碼學基礎理論與算法、面向多方參與的密碼體制及其可證明安全理論、分散式密碼系統及其套用、理性密碼及其機制設計方法、安全協定的形式化分析和模型檢測、大數據統計的隱私保護、...
《現代新型認證密鑰協商協定若干問題的研究》是2020年中國鐵道出版社出版的圖書，作者是倪亮、張茜。內容簡介 本書針對現代新型認證密鑰協商協定研究中的若干問題展開探討，其主要工作圍繞著可證明安全協定的設計、分析及其安全模型的研究展開，...
