資料介紹
該文利用協(xié)議合成邏輯(PCL),對WAPI 密鑰管理協(xié)議進(jìn)行了模塊化正確性證明。首先,分析了相對獨立的單播密鑰協(xié)商與組播密鑰通告協(xié)議,在滿(mǎn)足一定的工作環(huán)境下,證明其分別具有SSA 與KS 特性,且與協(xié)議的實(shí)體與會(huì )話(huà)個(gè)數無(wú)關(guān);接著(zhù),根據順序合成規則與階段合成定理,由于參與協(xié)議運行的實(shí)體避免了基于同一BK擔當AE 和ASUE 兩種角色,且每個(gè)子協(xié)議的運行都不干擾或不破壞其他子協(xié)議的環(huán)境條件,故WAPI 密鑰管理
協(xié)議具有所需的安全屬性,達到協(xié)議設計目標。
協(xié)議具有所需的安全屬性,達到協(xié)議設計目標。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于改進(jìn)SIP密鑰協(xié)議的SIP安全認證模型 8次下載
- 基于移動(dòng)互聯(lián)網(wǎng)的身份基認證密鑰協(xié)商協(xié)議 7次下載
- 隱私保護和前向安全的RFID組證明協(xié)議 10次下載
- 可實(shí)現用戶(hù)身份認證的對稱(chēng)密鑰加密協(xié)議 14次下載
- 基于環(huán)上誤差學(xué)習問(wèn)題的新型后量子認證密鑰交換協(xié)議 8次下載
- 基于簽名方案的多密鑰協(xié)商協(xié)議 0次下載
- 一種高效安全的認證密鑰協(xié)商協(xié)議 0次下載
- 三方口令認證密鑰交換協(xié)議 0次下載
- 基于LKH樹(shù)和B樹(shù)的組密鑰管理方案 0次下載
- 基于三叉樹(shù)的OFT組密鑰管理協(xié)議 0次下載
- 標準模型下高效的基于口令認證密鑰協(xié)商協(xié)議 11次下載
- 支持WAPI協(xié)議的802.11a/b/g WLAN 芯片 31次下載
- 通用可組合的組密鑰交換協(xié)議 5次下載
- Ad Hoc網(wǎng)絡(luò )中的密鑰管理策略 11次下載
- 基于多組密鑰樹(shù)的應用層組播組密鑰管理方案 15次下載
- 密鑰分層管理體制 181次閱讀
- 一覽IEEE 802協(xié)議,全方位比較Zigbee與WiFi協(xié)議 1991次閱讀
- 你知道SSH密鑰認證是如何工作的嗎 562次閱讀
- 零知識證明技術(shù)如何在路印3.0協(xié)議中運用 1518次閱讀
- 區塊鏈上零知識證明的原理解析 4712次閱讀
- 簡(jiǎn)單網(wǎng)絡(luò )管理協(xié)議(SNMP)的研究與應用 2935次閱讀
- 如何創(chuàng )建主密鑰以及HD錢(qián)包 2553次閱讀
- 明文存儲的Signal Desktop 應用程序消息解密密鑰 3540次閱讀
- 自制USB密鑰diy圖解 1.3w次閱讀
- 密鑰管理的基本任務(wù)與要求介紹 1.2w次閱讀
- 密鑰管理系統概述_密鑰管理系統架構圖 1.3w次閱讀
- 網(wǎng)絡(luò )安全密鑰是什么_網(wǎng)絡(luò )安全密鑰怎么修改 13.9w次閱讀
- snmp協(xié)議詳解 6047次閱讀
- Bluetooth智能密鑰卡參考設計電路圖 2169次閱讀
- WIFI和WAPI是什么意思,有什么區別? 2.9w次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于A(yíng)T89C2051/4051單片機編程器的實(shí)驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開(kāi)關(guān)電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風(fēng)扇遙控
- 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 專(zhuān)業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開(kāi)關(guān)電源設計實(shí)例指南
- 未知 | 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十天學(xué)會(huì )AVR單片機與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多