電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
介紹了現(xiàn)有的常用身份認(rèn)證方法，分析了其安全性和不足之處，針對(duì)安全性和效率問(wèn)
題，提出了一種可實(shí)現(xiàn)快速安全認(rèn)證的一種新協(xié)議，并使用協(xié)議組合邏輯形式化分析了新協(xié)議的安全性和新協(xié)議的效率，結(jié)果證明該協(xié)議既具有基于證書的公鑰密碼體制的安全性，又保持了對(duì)稱密碼體制的高效性。
關(guān)鍵詞：認(rèn)證協(xié)議 效率 形式化分析 PCL
Abstract：Introduce the ways of authentication in this paper. Put forward a new design of Authentication Protocol for the security and efficiency. Formally analysis the security properties of improved designs with Protocol Composition Logic, Results show that the security Protocol is secure and is a highly efficient.
Key words： authentication protocol; efficiency; Formally analysis ;PCL
題，提出了一種可實(shí)現(xiàn)快速安全認(rèn)證的一種新協(xié)議，并使用協(xié)議組合邏輯形式化分析了新協(xié)議的安全性和新協(xié)議的效率，結(jié)果證明該協(xié)議既具有基于證書的公鑰密碼體制的安全性，又保持了對(duì)稱密碼體制的高效性。
關(guān)鍵詞：認(rèn)證協(xié)議 效率 形式化分析 PCL
Abstract：Introduce the ways of authentication in this paper. Put forward a new design of Authentication Protocol for the security and efficiency. Formally analysis the security properties of improved designs with Protocol Composition Logic, Results show that the security Protocol is secure and is a highly efficient.
Key words： authentication protocol; efficiency; Formally analysis ;PCL
認(rèn)證協(xié)議
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無(wú)人機(jī)無(wú)線通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 一種高效安全的認(rèn)證密鑰協(xié)商協(xié)議 0次下載
- 一種形式化的學(xué)習(xí)過(guò)程建模_鐘偉平 0次下載
- 一種服務(wù)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)的形式化描述方法_陳鵬 2次下載
- IEEE 802.11r認(rèn)證協(xié)議安全性分析及改進(jìn)
- 基于Petri網(wǎng)的安全協(xié)議形式化描述和安全性驗(yàn)證 18次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化分析 29次下載
- 基于Spin的Rdt2.2及其改進(jìn)的形式化分析
- 一種安全協(xié)議分析算法研究
- Needham-Schroeder對(duì)稱密鑰認(rèn)證協(xié)議安全性分析
- 形式化方法和測(cè)試技術(shù)及其在安全中的應(yīng)用
- 密碼協(xié)議形式化分析的計(jì)算合理性
- 隱標(biāo)識(shí)身份認(rèn)證方法及其形式化語(yǔ)義分析
- 基于消息匹配的認(rèn)證協(xié)議分析
- 基于串空間模型的改進(jìn)性N-S協(xié)議的分析
- 藍(lán)牙BQB認(rèn)證是什么 707次閱讀
- 一文了解什么是TELEC認(rèn)證 355次閱讀
- 淺談SPI總線通信接口及其協(xié)議 2.8k次閱讀
- 芯片開(kāi)發(fā)中形式化驗(yàn)證的是一個(gè)誤區(qū) 2.8k次閱讀
- 形式化建模（一） 2k次閱讀
- 基于TH-PPM的RFID安全認(rèn)證是怎樣的 1.4k次閱讀
- 基于SASI的輕量級(jí)RFID雙向認(rèn)證是怎樣一個(gè)流程 1.9k次閱讀
- 工控系統(tǒng)的安全現(xiàn)狀和存在的問(wèn)題及思想和形式說(shuō)明 8.9k次閱讀
- 【新專利介紹】一種支持多種通信協(xié)議的電能表 1.3k次閱讀
- 安全認(rèn)證的重要性 如何實(shí)施有效的安全認(rèn)證方法 5.9k次閱讀
- 帕塞瓦定理的兩種常見(jiàn)形式 1w次閱讀
- 基于總線傳遞數(shù)據(jù)的2種形式PIO、DMA的解析 1.1w次閱讀
- 一種FFT插值正弦波快速頻率估計(jì)算法 1w次閱讀
- 一種基于Type-C PD協(xié)議的手機(jī)快速充電方案 2.9w次閱讀
- 兩種形式的紅外光束編碼波形及其典型數(shù)值電路圖 2.8k次閱讀
上傳資料賺積分下載排行
本周
- 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開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開(kāi)關(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開(kāi)關(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)
工商網(wǎng)監(jiān)
評(píng)論