電子發燒友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總線通信接口及其協議 1850次閱讀
- 芯片開發中形式化驗證的是一個誤區 1976次閱讀
- 形式化建模（一） 1387次閱讀
- 一種利用激光脈沖而快速產生強磁場的新思路 2945次閱讀
- 基于TH-PPM的RFID安全認證是怎樣的 1051次閱讀
- 基于SASI的輕量級RFID雙向認證是怎樣一個流程 1467次閱讀
- 工控系統的安全現狀和存在的問題及思想和形式說明 8335次閱讀
- 【新專利介紹】一種支持多種通信協議的電能表 1106次閱讀
- 安全認證的重要性 如何實施有效的安全認證方法 5386次閱讀
- 帕塞瓦定理的兩種常見形式 9855次閱讀
- 基于SHA-256安全認證工作原理的最新安全認證解決方案 5389次閱讀
- 基于總線傳遞數據的2種形式PIO、DMA的解析 1w次閱讀
- 一種FFT插值正弦波快速頻率估計算法 9657次閱讀
- 一種基于Type-C PD協議的手機快速充電方案 2.7w次閱讀
- 兩種形式的紅外光束編碼波形及其典型數值電路圖 2331次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機智能手環心率計步器體溫顯示設計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數發生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論