| 基于BAN逻辑的SADSR协议安全性分析 |
| |
| 引用本文： | 向伟.基于BAN逻辑的SADSR协议安全性分析[J].西南民族学院学报(自然科学版),2011(Z1):91-95. |
| |
| 作者姓名： | 向伟 |
| |
| 作者单位： | 西南民族大学电气信息工程学院 |
| |
| 摘 要： | 移动Ad hoc网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种.这使得采用形式化的方法分析其安全性成为可能.本文根据移动Ad Hoc网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,指出了协议应满足的条件.并对协议的运行过程进行了形式化,给出具体的分析方法.采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性.
|
| 关 键 词： | 移动AdHoc网络 SADSR 安全性 BAN逻辑 |
BAN logical Based SADSR agreement security analysis |
| |
| XIANG wei.BAN logical Based SADSR agreement security analysis[J].Journal of Southwest Nationalities College(Natural Science Edition),2011(Z1):91-95. |
| |
| Authors: | XIANG wei |
| |
| Institution: | XIANG wei(School of Electrical and Information Engineering,Southwest University for Nationalities,Chendu,610041,P.R.C.) |
| |
| Abstract: | 移动Ad hoc网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种.这使得采用形式化的方法分析其安全性成为可能.本文根据移动Ad Hoc网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,指出了协议应满足的条件.并对协议的运行过程进行了形式化,给出具体的分析方法.采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性. |
| |
| Keywords: | Mobile Ad hoc network SADSR Security Ban logic |
| 本文献已被 维普 等数据库收录！ |
|
