《可證明安全的簽密體制研究》是依託電子科技大學,由李髮根擔任醒目負責人的青年科學基金項目。
基本介紹
- 中文名:可證明安全的簽密體制研究
- 依託單位:電子科技大學
- 項目類別:青年科學基金項目
- 項目負責人:李髮根
- 批准號:60803133
- 申請代碼:F0206
- 負責人職稱:教授
- 研究期限:2009-01-01 至 2011-12-31
- 支持經費:18(萬元)
《可證明安全的簽密體制研究》是依託電子科技大學,由李髮根擔任醒目負責人的青年科學基金項目。
《可證明安全的簽密體制研究》是依託電子科技大學,由李髮根擔任醒目負責人的青年科學基金項目。項目摘要簽密能夠在一個合理的邏輯步驟內同時完成數字簽名和公鑰加密兩項功能,而其計算量和通信成本都要低於傳統的先簽名後加密,因而它是...
本課題將以公鑰認證方法為線索,研究了聚合簽密方案的設計與安全性證明、不同場景的匿名認證協定的設計、支持安全外包計算的細粒度訪問控制機制的設計與分析、代理重加密體制和密鑰隔離密碼體制的設計與安全性證明。針對這些研究問題,我們深入...
本項目針對這些關鍵問題,研究基於證書密碼體制的強安全模型和可證明安全方法;設計安全、高效的基於證書加密方案、簽名方案、簽密方案、具有特殊性質簽名方案和具有緊安全規約的簽名方案並在隨機預言模型或標準模型下證明方案的安全性;探索基於...
《可證明安全公鑰簽密理論》是2022年科學出版社出版的圖書。內容簡介 可證明安全公鑰簽密體制可以處理訊息保密性和認證性的網路通信安全問題,其優勢在於設計靈活、運算效率高。可證明安全公鑰簽密體制是同時實現保密並認證的重要手段,其安全...
本項目的研究結果主要包含三個方面的內容:(1)基於橢圓曲線的無證書簽密算法;(2)基於橢圓曲線的無證書密鑰協商算法;(3)基於橢圓曲線的無證書密碼算法的套用。 在第一方面,首次提出了基於生物特徵的無證書籤密的通用模型和安全...
另一方面,設計了一個基於混沌密碼的安全口令三方認證與密鑰協商協定和基於橢圓曲線離散對數的、匿名三方口令認證協定,並且給出了形式化的安全性證明。(3)基於可轉換代理簽密的可證安全的認證協定研究。指出Juang 等採用代理簽名的認證協定...
1.1 研究動機 1.2 國內外研究現狀 1.2.1 無證書籤名體制 1.2.2 簽密方案 1.2.3 密鑰隔離密碼體制 1.2.4 代理重簽名密碼體制 1.3 本書主要創新 第2章 相關理論 2.1 研究基礎 2.1.1 橢圓曲線密碼體制 2....
《數字簽密原理與技術》可供密碼學與信息安全領域的科研人員參考,也可以作為密碼學、信息安全、計算機、通信工程等專業的研究生教學參考書。詳細介紹了數字簽密的安全模型、方案設計和安全性證明。主要包括基於PKI的簽密體制、基於身份的簽密...
第6章 可證明安全加密體制 第三部分 數字簽名 第7章 可證明安全數字簽名方案 第8章 盲簽名 第9章 代理簽名 第10章 多重簽名與聚合簽名 第11章 指定驗證者簽名 第12章 簽密 第四部分 密鑰協商 第13章 密鑰協商概述 第14章 ...
(4) 將私鑰進化機制引入到基於身份的簽密體制中, 提出基於身份的私鑰隔離簽密(IBKISC), 並給出它的形式化定義和安全模型,設計一個具體的IBKISC方案,該方案在標準模型下是可證明安全的。同時本課題還研究了基於證書密碼體制的理論及...
(3)完成了Cryptanalysis of a signcryption scheme with fast online signing and short signcryptext,標準模型下的簽名技術是密碼研究者關注的課題之一, 我們分析了Youn et al.等學者給出的簽密方案,並指出其存在的安全漏洞;(4)“...
混合密碼體制是實際套用中最自然地密碼體制,是密碼學研究的基本科學問題。本項目主要研究混合密碼體制的設計與形式化分析方法,包括無證書混合簽密體制的設計與證明、基於格中困難問題的混合簽密體制的設計與證明、 PKI和IBC混合的密碼體制、...
在基礎知識方面,無證書簽密是能夠同時提供無證書加密和無證書籤名的一種非常重要的密碼學原語。近年來,多個無證書籤密方案相繼被提出,並聲稱他們的方案是可證明安全的。遺憾的是,本項目通過給出具體的攻擊方法,指出現有的一些無證書籤...
包括幾種經典的數字簽名算法和體制以及國內外在簽密方面的最新研究成果; 第7章討論多方密碼協定,包括秘密共享與門限密碼體制、零知識證明協定和安全多方計算等; 第8章介紹密碼體制的可證明安全性理論,主要內容包括形式化安全性的定義、...