電子發燒友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協議的分析
- 藍牙BQB認證是什么 707次閱讀
- 一文了解什么是TELEC認證 355次閱讀
- 淺談SPI總線通信接口及其協議 2.8k次閱讀
- 芯片開發中形式化驗證的是一個誤區 2.8k次閱讀
- 形式化建模（一） 2k次閱讀
- 基于TH-PPM的RFID安全認證是怎樣的 1.4k次閱讀
- 基于SASI的輕量級RFID雙向認證是怎樣一個流程 1.9k次閱讀
- 工控系統的安全現狀和存在的問題及思想和形式說明 8.9k次閱讀
- 【新專利介紹】一種支持多種通信協議的電能表 1.3k次閱讀
- 安全認證的重要性 如何實施有效的安全認證方法 5.9k次閱讀
- 帕塞瓦定理的兩種常見形式 1w次閱讀
- 基于總線傳遞數據的2種形式PIO、DMA的解析 1.1w次閱讀
- 一種FFT插值正弦波快速頻率估計算法 1w次閱讀
- 一種基于Type-C PD協議的手機快速充電方案 2.9w次閱讀
- 兩種形式的紅外光束編碼波形及其典型數值電路圖 2.8k次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數據手冊
- 2.33 MB | 次下載 | 免費
- 2MDD品牌三極管S9012數據手冊
- 2.62 MB | 次下載 | 免費
- 3聯想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費
- 4收音環繞擴音機 AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 524Pin Type-C連接器設計報告
- 1.06 MB | 次下載 | 免費
- 6新一代網絡可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費
- 7MS1000TA 超聲波測量模擬前端芯片技術手冊
- 0.60 MB | 次下載 | 免費
- 8MS1022高精度時間測量(TDC)電路數據手冊
- 1.81 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負載均流控制電路數據手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規格書
- 838.47 KB | 5次下載 | 免費
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網監
評論