資料介紹
研究在密碼協(xié)議僅使用數(shù)字簽名原語(yǔ)時(shí),主動(dòng)攻擊下符號(hào)形式化分析系統(tǒng)的計(jì)算可靠性。借鑒Micciancio-Warinschi方法,分別引入符號(hào)模型和計(jì)算模型中的協(xié)議運(yùn)行狀態(tài)集合,通過反證法證明符號(hào)模型中的跡與計(jì)算模型中的跡之間的對(duì)應(yīng)關(guān)系,建立數(shù)字簽名的計(jì)算可靠性,即如數(shù)字簽名方案滿足N-UNF,則符號(hào)模型所得到的結(jié)果在計(jì)算模型中也是正確的。基于該結(jié)論,可以構(gòu)建具有計(jì)算可靠性的形式化分析系統(tǒng)。
關(guān)鍵詞:密碼協(xié)議;數(shù)字簽名;計(jì)算可靠性
關(guān)鍵詞:密碼協(xié)議;數(shù)字簽名;計(jì)算可靠性
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- win10 關(guān)閉數(shù)字簽名驅(qū)動(dòng)教程 0次下載
- 基于環(huán)簽名和短簽名的可凈化數(shù)字簽名 11次下載
- win7和win10禁用數(shù)字簽名的教程 23次下載
- 基于ElGamal數(shù)字簽名算法的區(qū)塊鏈共識(shí)算法 10次下載
- JAVA教程之數(shù)字簽名 7次下載
- 對(duì)一種前向安全數(shù)字簽名方案的分析及改進(jìn)
- 基于FPGA的ECC數(shù)字簽名方案優(yōu)化設(shè)計(jì)
- 基于數(shù)字簽名的安全電子郵件系統(tǒng)的研究
- 數(shù)字簽名技術(shù)的應(yīng)用研究
- 數(shù)字簽名技術(shù)在手持式設(shè)備上的應(yīng)用
- 一種消息恢復(fù)型數(shù)字簽名方案的改進(jìn)
- 抗合謀攻擊的門限簽名方案
- 數(shù)字簽名技術(shù)在手持式設(shè)備上的應(yīng)用
- 基于橢圓曲線的數(shù)字簽名和代理數(shù)字簽名
- 基于身份的卡梅隆數(shù)字簽名方案
- SoC的數(shù)字簽名加解密過程 295次閱讀
- 如何確保IGBT的產(chǎn)品可靠性 1695次閱讀
- IGBT的可靠性測(cè)試方案 1526次閱讀
- 電子元器件使用可靠性怎么判斷 1894次閱讀
- 可靠性與安全性 6245次閱讀
- 詳細(xì)的理解可靠性分配 2093次閱讀
- 如何實(shí)現(xiàn)電源的可靠性設(shè)計(jì) 3555次閱讀
- 區(qū)塊鏈數(shù)字簽名技術(shù)的過程及原理介紹 2w次閱讀
- Schnorr簽名與比特幣多簽詳細(xì)介紹 3321次閱讀
- 理解數(shù)字簽名和加密通信等技術(shù)的關(guān)鍵算法哈希算法的介紹 3460次閱讀
- 如何使用ECDSA算法生成數(shù)字簽名 9187次閱讀
- 可靠性的歷史!可靠性的相關(guān)定義和概念 8935次閱讀
- 軟件可靠性設(shè)計(jì)研究及應(yīng)用 2316次閱讀
- 電源可靠性的設(shè)計(jì) 867次閱讀
- 單片機(jī)應(yīng)用系統(tǒng)的可靠性設(shè)計(jì) 3673次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論