浏览全部资源
扫码关注微信
纸质出版日期:2005
移动端阅览
王英龙, 王继志, 王美琴, 等. 基于BAN逻辑的ad hoc移动网络路由协议的安全性分析 附视频[J]. 通信学报, 2005,(4):125-129.
王英龙, 王继志, 王美琴, 等. 基于BAN逻辑的ad hoc移动网络路由协议的安全性分析 附视频[J]. 通信学报, 2005,(4):125-129. DOI:
DOI:
Ad hoc移动网络路由协议为加强其安全性
采用了密码技术
使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点
采用BAN逻辑对协议的安全性进行描述
提出了协议应满足的条件。并对协议的运行过程进行了形式化
给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证
说明方法的有效性。
0
浏览量
341
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构