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