资料介绍
本文通采用BAN 逻辑对Otwa y-Rees 协议建立理想化协议模型 ,利用协议的初始假设
和BAN 逻辑的公设分析了Otway-Rees 协议的安全性。
关键词:安全协议;BAN 逻辑;OtwayRees 协议
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 协议的安全性。
关键词:安全协议;BAN 逻辑;OtwayRees 协议
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
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 无线射频识别双向认证协议 7次下载
- 基于同步数的轻量级高效RFID身份认证协议 1次下载
- 基于混沌序列的RFID双向认证协议 1次下载
- 全面解析OSPF路由协议安全性分析 8次下载
- IEEE 802.11r认证协议安全性分析及改进 25次下载
- 基于Petri网的安全协议形式化描述和安全性验证 18次下载
- 基于Petri网的安全协议形式化分析 29次下载
- 动态路由协议安全性分析 21次下载
- 协议组合逻辑安全的WiMAX无线网络认证协议 44次下载
- 基于Kerberos协议的SyncML安全性改进 11次下载
- GRE隧道协议安全性分析 15次下载
- Needham-Schroeder对称密钥认证协议安全性分析 23次下载
- CMPP协议安全性改进 12次下载
- 一种快速安全认证协议及其形式化分析 9次下载
- 基于串空间的KryptoKnight协议分析及与逻辑化方法的 12次下载
- 使用Raspberry Pi Pico实现简单的逻辑分析仪 475次阅读
- 可靠性与安全性 2804次阅读
- 组合逻辑电路的分析和设计 1845次阅读
- 基于智能状态和源代码插桩的C程序内存安全性动态分析 1024次阅读
- NCM化学配比和SOC如何影响NCM电芯的安全性 5719次阅读
- ssl协议是指什么 ssl协议有必要开启吗 2.1w次阅读
- 分相纵差保护原理,动作逻辑分析的介绍及案例分析 3646次阅读
- 保障云应用的安全性的三大方案 1181次阅读
- 32650锂电池安全吗_32650锂电池的安全性分析 3.4w次阅读
- 影响锂离子动力电池安全性因素分析 7094次阅读
- DES算法的应用误区及安全性分析 1.6w次阅读
- 智能家居安全吗_智能家居安全性分析 2963次阅读
- 容易被忽略的逻辑分析仪探头 2662次阅读
- 通信协议标准FlexRay总线的功能安全性详解 9298次阅读
- 如何提高智能电网端点安全性 727次阅读
下载排行
本周
- 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 专业版下载 (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次下载 | 免费
评论
查看更多