電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
介紹了現有的常用身份認證方法，分析了其安全性和不足之處，針對安全性和效率問
題，提出了一種可實現快速安全認證的一種新協議，并使用協議組合邏輯形式化分析了新協議的安全性和新協議的效率，結果證明該協議既具有基于證書的公鑰密碼體制的安全性，又保持了對稱密碼體制的高效性。
關鍵詞：認證協議 效率 形式化分析 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
題，提出了一種可實現快速安全認證的一種新協議，并使用協議組合邏輯形式化分析了新協議的安全性和新協議的效率，結果證明該協議既具有基于證書的公鑰密碼體制的安全性，又保持了對稱密碼體制的高效性。
關鍵詞：認證協議 效率 形式化分析 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
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無人機無線通信協議的形式化認證綜述 9次下載
- 一種高效安全的認證密鑰協商協議 0次下載
- 一種形式化的學習過程建模_鐘偉平 0次下載
- 一種服務網絡拓撲結構的形式化描述方法_陳鵬 2次下載
- IEEE 802.11r認證協議安全性分析及改進
- 基于Petri網的安全協議形式化描述和安全性驗證 18次下載
- 基于Petri網的安全協議形式化分析 29次下載
- 基于Spin的Rdt2.2及其改進的形式化分析
- 一種安全協議分析算法研究
- Needham-Schroeder對稱密鑰認證協議安全性分析
- 形式化方法和測試技術及其在安全中的應用
- 密碼協議形式化分析的計算合理性
- 隱標識身份認證方法及其形式化語義分析
- 基于消息匹配的認證協議分析
- 基于串空間模型的改進性N-S協議的分析
- 淺談SPI總線通信接口及其協議 1559次閱讀
- 芯片開發中形式化驗證的是一個誤區 1753次閱讀
- 形式化建模（一） 1198次閱讀
- 一種利用激光脈沖而快速產生強磁場的新思路 2792次閱讀
- 基于TH-PPM的RFID安全認證是怎樣的 957次閱讀
- 基于SASI的輕量級RFID雙向認證是怎樣一個流程 1330次閱讀
- 工控系統的安全現狀和存在的問題及思想和形式說明 8127次閱讀
- 【新專利介紹】一種支持多種通信協議的電能表 1041次閱讀
- 安全認證的重要性 如何實施有效的安全認證方法 5197次閱讀
- 帕塞瓦定理的兩種常見形式 9640次閱讀
- 基于SHA-256安全認證工作原理的最新安全認證解決方案 5255次閱讀
- 基于總線傳遞數據的2種形式PIO、DMA的解析 1w次閱讀
- 一種FFT插值正弦波快速頻率估計算法 9269次閱讀
- 一種基于Type-C PD協議的手機快速充電方案 2.7w次閱讀
- 兩種形式的紅外光束編碼波形及其典型數值電路圖 2212次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網監
評論