電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
該文利用協議合成邏輯(PCL)，對WAPI 密鑰管理協議進行了模塊化正確性證明。首先，分析了相對獨立的單播密鑰協商與組播密鑰通告協議，在滿足一定的工作環境下，證明其分別具有SSA 與KS 特性，且與協議的實體與會話個數無關；接著，根據順序合成規則與階段合成定理，由于參與協議運行的實體避免了基于同一BK擔當AE 和ASUE 兩種角色，且每個子協議的運行都不干擾或不破壞其他子協議的環境條件，故WAPI 密鑰管理
協議具有所需的安全屬性，達到協議設計目標。
協議具有所需的安全屬性，達到協議設計目標。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于改进SIP密钥协议的SIP安全认证模型8次下载
- 基于移动互联网的身份基认证密钥协商协议7次下载
- 隐私保护和前向安全的RFID组证明协议10次下载
- 基于格的后量子认证密钥协商协议综述7次下载
- 可实现用户身份认证的对称密钥加密协议14次下载
- 基于环上误差学习问题的新型后量子认证密钥交换协议8次下载
- 空间网络中密钥协商协议的设计与分析6次下载
- 基于签名方案的多密钥协商协议0次下载
- 一种高效安全的认证密钥协商协议0次下载
- 三方口令认证密钥交换协议0次下载
- 基于LKH树和B树的组密钥管理方案0次下载
- 基于三叉树的OFT组密钥管理协议0次下载
- 标准模型下高效的基于口令认证密钥协商协议11次下载
- 通用可组合的组密钥交换协议5次下载
- 标准模型下增强的基于身份的认证密钥协商协议11次下载
- 密钥分层管理体制1100次阅读
- 一览IEEE 802协议，全方位比较Zigbee与WiFi协议9545次阅读
- 你知道SSH密钥认证是如何工作的吗1202次阅读
- 零知识证明的逻辑概念详细解析1509次阅读
- 零知识证明技术如何在路印3.0协议中运用1731次阅读
- 区块链上零知识证明的原理解析5083次阅读
- 简单网络管理协议(SNMP)的研究与应用3517次阅读
- 如何创建主密钥以及HD钱包3168次阅读
- 明文存储的Signal Desktop 应用程序消息解密密钥3946次阅读
- 密钥管理的基本任务与要求介绍13955次阅读
- 密钥管理系统概述_密钥管理系统架构图14916次阅读
- 网络安全密钥是什么_网络安全密钥怎么修改142983次阅读
- snmp协议详解7074次阅读
- Bluetooth智能密钥卡参考设计电路图2332次阅读
- WIFI和WAPI是什么意思，有什么区别？30652次阅读
上傳資料賺積分 广告![]()
下載排行
本周
- 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 積分
工商網監
評論