電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
本文通采用BAN 邏輯對(duì)Otwa y-Rees 協(xié)議建立理想化協(xié)議模型 ,利用協(xié)議的初始假設(shè)
和BAN 邏輯的公設(shè)分析了Otway-Rees 協(xié)議的安全性。
關(guān)鍵詞:安全協(xié)議;BAN 邏輯;OtwayRees 協(xié)議
Abstract: In this paper, BAN logic was used to construct an ideal model of the well known
OtwayRees protocol. The security of the OtwayRees protocol was analyzed with the initial
hypothesis and the logic postulate.
Keywords: Cryptographic protocol; BAN logic; OtwayRees protocol
和BAN 邏輯的公設(shè)分析了Otway-Rees 協(xié)議的安全性。
關(guān)鍵詞:安全協(xié)議;BAN 邏輯;OtwayRees 協(xié)議
Abstract: In this paper, BAN logic was used to construct an ideal model of the well known
OtwayRees protocol. The security of the OtwayRees protocol was analyzed with the initial
hypothesis and the logic postulate.
Keywords: Cryptographic protocol; BAN logic; OtwayRees protocol
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 高安全性應(yīng)用開發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架 1次下載
- 智能連接物聯(lián)網(wǎng)邊緣節(jié)點(diǎn)的安全性分析
- 無線射頻識(shí)別雙向認(rèn)證協(xié)議 7次下載
- 無線局域網(wǎng)無線接入協(xié)議的安全性設(shè)計(jì) 0次下載
- 基于改進(jìn)的OpenID Connect協(xié)議的安全性 0次下載
- 全面解析OSPF路由協(xié)議安全性分析 8次下載
- 基于Petri網(wǎng)的安全協(xié)議形式化描述和安全性驗(yàn)證 18次下載
- 動(dòng)態(tài)路由協(xié)議安全性分析 21次下載
- 協(xié)議組合邏輯安全的WiMAX無線網(wǎng)絡(luò)認(rèn)證協(xié)議 44次下載
- 基于Kerberos協(xié)議的SyncML安全性改進(jìn)
- GRE隧道協(xié)議安全性分析
- Needham-Schroeder對(duì)稱密鑰認(rèn)證協(xié)議安全性分析
- CMPP協(xié)議安全性改進(jìn)
- 一種快速安全認(rèn)證協(xié)議及其形式化分析
- 基于串空間的KryptoKnight協(xié)議分析及與邏輯化方法的
- SMTP服務(wù)器安全性分析 337次閱讀
- UPS電源的安全性和可靠性分析 580次閱讀
- 工業(yè)控制系統(tǒng)安全性分析與對(duì)策 1252次閱讀
- 工業(yè)以太網(wǎng)安全性分析及防護(hù)措施 667次閱讀
- 可靠性與安全性 6245次閱讀
- 不折不扣的安全性 660次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內(nèi)存安全性動(dòng)態(tài)分析 1587次閱讀
- NCM化學(xué)配比和SOC如何影響NCM電芯的安全性 6531次閱讀
- 32650鋰電池安全嗎_32650鋰電池的安全性分析 3.7w次閱讀
- 從幾個(gè)不同的技術(shù)層面對(duì)鋰電和燃料電池的安全性進(jìn)行分析對(duì)比 8381次閱讀
- 影響鋰離子動(dòng)力電池安全性因素分析 7433次閱讀
- DES算法的應(yīng)用誤區(qū)及安全性分析 1.6w次閱讀
- 智能家居安全嗎_智能家居安全性分析 3148次閱讀
- 通信協(xié)議標(biāo)準(zhǔn)FlexRay總線的功能安全性詳解 9706次閱讀
- 如何提高智能電網(wǎng)端點(diǎn)安全性 832次閱讀
上傳資料賺積分下載排行
本周
- 1高功率密度碳化硅MOSFET軟開關(guān)三相逆變器損耗分析
- 2.27 MB | 33次下載 | 10 積分
- 2TYPEC電路原理圖資料
- 0.14 MB | 5次下載 | 免費(fèi)
- 3經(jīng)典1000W純正弦波逆變器原理圖資料
- 0.08 MB | 4次下載 | 10 積分
- 4DH1766系列·三路可編程直流電源技術(shù)手冊(cè)
- 1.93 MB | 2次下載 | 免費(fèi)
- 5ACS510用戶手冊(cè)
- 3.92 MB | 1次下載 | 免費(fèi)
- 6星三角啟動(dòng)電路圖資料
- 0.06 MB | 1次下載 | 免費(fèi)
- 7WORLD 3000 H型接線圖資料
- 0.17 MB | 1次下載 | 10 積分
- 8FP136 高端電流檢測(cè)IC芯片說明書
- 0.62 MB | 1次下載 | 免費(fèi)
本月
- 1高功率密度碳化硅MOSFET軟開關(guān)三相逆變器損耗分析
- 2.27 MB | 33次下載 | 10 積分
- 2常用電子元器件使用手冊(cè)
- 2.40 MB | 27次下載 | 免費(fèi)
- 3電路、電流和電壓介紹
- 14.96 MB | 7次下載 | 免費(fèi)
- 4MS1826 HDMI 多功能視頻處理器數(shù)據(jù)手冊(cè)
- 4.51 MB | 7次下載 | 免費(fèi)
- 5TYPEC電路原理圖資料
- 0.14 MB | 5次下載 | 免費(fèi)
- 6SR520-SR5100肖特基二極管規(guī)格書
- 0.11 MB | 4次下載 | 免費(fèi)
- 7經(jīng)典1000W純正弦波逆變器原理圖資料
- 0.08 MB | 4次下載 | 10 積分
- 8FS8205 20V N 溝道增強(qiáng)型MOS場(chǎng)效應(yīng)管技術(shù)手冊(cè)
- 1.70 MB | 2次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935134次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191424次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183352次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81600次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73818次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論