资料下载
×
基于BAN逻辑分析Otway-Rees协议安全性
消耗积分:2 |
格式:rar |
大小:211 |
2009-08-06
张伟
分享资料个
本文通采用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
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
