資料介紹
本文通采用BAN 邏輯對Otwa y-Rees 協(xié)議建立理想化協(xié)議模型 ,利用協(xié)議的初始假設
和BAN 邏輯的公設分析了Otway-Rees 協(xié)議的安全性。
關鍵詞:安全協(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 邏輯的公設分析了Otway-Rees 協(xié)議的安全性。
關鍵詞:安全協(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
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 高安全性應用開發(fā)環(huán)境的時序性質驗證框架 1次下載
- 智能連接物聯(lián)網邊緣節(jié)點的安全性分析
- 無線射頻識別雙向認證協(xié)議 7次下載
- 無線局域網無線接入協(xié)議的安全性設計 0次下載
- 基于改進的OpenID Connect協(xié)議的安全性 0次下載
- 全面解析OSPF路由協(xié)議安全性分析 8次下載
- 基于Petri網的安全協(xié)議形式化描述和安全性驗證 18次下載
- 動態(tài)路由協(xié)議安全性分析 21次下載
- 協(xié)議組合邏輯安全的WiMAX無線網絡認證協(xié)議 44次下載
- 基于Kerberos協(xié)議的SyncML安全性改進
- GRE隧道協(xié)議安全性分析
- Needham-Schroeder對稱密鑰認證協(xié)議安全性分析
- CMPP協(xié)議安全性改進
- 一種快速安全認證協(xié)議及其形式化分析
- 基于串空間的KryptoKnight協(xié)議分析及與邏輯化方法的
- 工業(yè)控制系統(tǒng)安全性分析與對策 828次閱讀
- 工業(yè)以太網安全性分析及防護措施 290次閱讀
- 可靠性與安全性 5017次閱讀
- 不折不扣的安全性 536次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內存安全性動態(tài)分析 1311次閱讀
- NCM化學配比和SOC如何影響NCM電芯的安全性 6183次閱讀
- 如何提升三元材料的安全性? 3833次閱讀
- 保障云應用的安全性的三大方案 1249次閱讀
- 32650鋰電池安全嗎_32650鋰電池的安全性分析 3.6w次閱讀
- 從幾個不同的技術層面對鋰電和燃料電池的安全性進行分析對比 8223次閱讀
- 影響鋰離子動力電池安全性因素分析 7306次閱讀
- DES算法的應用誤區(qū)及安全性分析 1.6w次閱讀
- 智能家居安全嗎_智能家居安全性分析 3087次閱讀
- 通信協(xié)議標準FlexRay總線的功能安全性詳解 9545次閱讀
- 如何提高智能電網端點安全性 788次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 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 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 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十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多