電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
該文利用協(xié)議合成邏輯(PCL)，對(duì)WAPI 密鑰管理協(xié)議進(jìn)行了模塊化正確性證明。首先，分析了相對(duì)獨(dú)立的單播密鑰協(xié)商與組播密鑰通告協(xié)議，在滿足一定的工作環(huán)境下，證明其分別具有SSA 與KS 特性，且與協(xié)議的實(shí)體與會(huì)話個(gè)數(shù)無(wú)關(guān)；接著，根據(jù)順序合成規(guī)則與階段合成定理，由于參與協(xié)議運(yùn)行的實(shí)體避免了基于同一BK擔(dān)當(dāng)AE 和ASUE 兩種角色，且每個(gè)子協(xié)議的運(yùn)行都不干擾或不破壞其他子協(xié)議的環(huán)境條件，故WAPI 密鑰管理
協(xié)議具有所需的安全屬性，達(dá)到協(xié)議設(shè)計(jì)目標(biāo)。
協(xié)議具有所需的安全屬性，達(dá)到協(xié)議設(shè)計(jì)目標(biāo)。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于改進(jìn)SIP密鑰協(xié)議的SIP安全認(rèn)證模型 8次下載
- 基于移動(dòng)互聯(lián)網(wǎng)的身份基認(rèn)證密鑰協(xié)商協(xié)議 7次下載
- 隱私保護(hù)和前向安全的RFID組證明協(xié)議 10次下載
- 基于格的后量子認(rèn)證密鑰協(xié)商協(xié)議綜述 7次下載
- 可實(shí)現(xiàn)用戶身份認(rèn)證的對(duì)稱密鑰加密協(xié)議 14次下載
- 基于環(huán)上誤差學(xué)習(xí)問(wèn)題的新型后量子認(rèn)證密鑰交換協(xié)議 8次下載
- 空間網(wǎng)絡(luò)中密鑰協(xié)商協(xié)議的設(shè)計(jì)與分析 6次下載
- 基于簽名方案的多密鑰協(xié)商協(xié)議 0次下載
- 一種高效安全的認(rèn)證密鑰協(xié)商協(xié)議 0次下載
- 三方口令認(rèn)證密鑰交換協(xié)議 0次下載
- 基于LKH樹(shù)和B樹(shù)的組密鑰管理方案 0次下載
- 基于三叉樹(shù)的OFT組密鑰管理協(xié)議 0次下載
- 標(biāo)準(zhǔn)模型下高效的基于口令認(rèn)證密鑰協(xié)商協(xié)議
- 通用可組合的組密鑰交換協(xié)議
- 標(biāo)準(zhǔn)模型下增強(qiáng)的基于身份的認(rèn)證密鑰協(xié)商協(xié)議
- 密鑰分層管理體制 495次閱讀
- 一覽IEEE 802協(xié)議，全方位比較Zigbee與WiFi協(xié)議 5335次閱讀
- 你知道SSH密鑰認(rèn)證是如何工作的嗎 787次閱讀
- 零知識(shí)證明的邏輯概念詳細(xì)解析 1298次閱讀
- 零知識(shí)證明技術(shù)如何在路印3.0協(xié)議中運(yùn)用 1610次閱讀
- 區(qū)塊鏈上零知識(shí)證明的原理解析 4836次閱讀
- 簡(jiǎn)單網(wǎng)絡(luò)管理協(xié)議(SNMP)的研究與應(yīng)用 3159次閱讀
- 如何創(chuàng)建主密鑰以及HD錢(qián)包 2731次閱讀
- 明文存儲(chǔ)的Signal Desktop 應(yīng)用程序消息解密密鑰 3697次閱讀
- 密鑰管理的基本任務(wù)與要求介紹 1.2w次閱讀
- 密鑰管理系統(tǒng)概述_密鑰管理系統(tǒng)架構(gòu)圖 1.4w次閱讀
- 網(wǎng)絡(luò)安全密鑰是什么_網(wǎng)絡(luò)安全密鑰怎么修改 14.1w次閱讀
- snmp協(xié)議詳解 6671次閱讀
- Bluetooth智能密鑰卡參考設(shè)計(jì)電路圖 2216次閱讀
- WIFI和WAPI是什么意思，有什么區(qū)別？ 2.9w次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開(kāi)關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論