資料介紹
本文通采用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)用開(kāi)發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架 1次下載
- 智能連接物聯(lián)網(wǎng)邊緣節(jié)點(diǎn)的安全性分析
- 無(wú)線(xiàn)射頻識(shí)別雙向認(rèn)證協(xié)議 7次下載
- 無(wú)線(xiàn)局域網(wǎng)無(wú)線(xiàn)接入協(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ú)線(xiàn)網(wǎng)絡(luò)認(rèn)證協(xié)議 44次下載
- 基于Kerberos協(xié)議的SyncML安全性改進(jìn)
- GRE隧道協(xié)議安全性分析
- Needham-Schroeder對(duì)稱(chēng)密鑰認(rèn)證協(xié)議安全性分析
- CMPP協(xié)議安全性改進(jìn)
- 一種快速安全認(rèn)證協(xié)議及其形式化分析
- 基于串空間的KryptoKnight協(xié)議分析及與邏輯化方法的
- 工業(yè)控制系統(tǒng)安全性分析與對(duì)策 828次閱讀
- 工業(yè)以太網(wǎng)安全性分析及防護(hù)措施 290次閱讀
- 可靠性與安全性 5017次閱讀
- 不折不扣的安全性 536次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內(nèi)存安全性動(dòng)態(tài)分析 1311次閱讀
- NCM化學(xué)配比和SOC如何影響NCM電芯的安全性 6183次閱讀
- 如何提升三元材料的安全性? 3833次閱讀
- 保障云應(yīng)用的安全性的三大方案 1249次閱讀
- 32650鋰電池安全嗎_32650鋰電池的安全性分析 3.6w次閱讀
- 從幾個(gè)不同的技術(shù)層面對(duì)鋰電和燃料電池的安全性進(jìn)行分析對(duì)比 8223次閱讀
- 影響鋰離子動(dòng)力電池安全性因素分析 7306次閱讀
- DES算法的應(yīng)用誤區(qū)及安全性分析 1.6w次閱讀
- 智能家居安全嗎_智能家居安全性分析 3087次閱讀
- 通信協(xié)議標(biāo)準(zhǔn)FlexRay總線(xiàn)的功能安全性詳解 9545次閱讀
- 如何提高智能電網(wǎng)端點(diǎn)安全性 788次閱讀
下載排行
本周
- 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 專(zhuān)業(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)
評(píng)論
查看更多