| 一种安全DSR协议的形式化分析方法 |
| |
| 引用本文： | 刘晶,伏飞,肖军模. 一种安全DSR协议的形式化分析方法[J]. 解放军理工大学学报(自然科学版), 2009, 10(5): 423-429 |
| |
| 作者姓名： | 刘晶 伏飞 肖军模 |
| |
| 作者单位： | 解放军理工大学,通信工程学院,江苏,南京,210007;解放军理工大学,指挥自动化学院,江苏,南京,210007 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 目前安全 DSR协议由于缺乏有效的形式化分析方法,难以发现一些隐蔽的安全漏洞.针对这一问题,通过分析DSR协议路由过程,给出了安全DSR协议的安全目标.提出了一种基于逻辑的安全DSR协议形式化分析方法,定义了能够反映安全DSR协议特性的基本逻辑构件(包括主体、目标和公式)和推理规则.首先用逻辑公式描述协议初始假设及过程,然后用推理规则进行推导产生推导结果,最后依据推导结果判断协议安全性.使用这种方法对SADSR协议进行了形式化分析与改进,发现了SADSR协议存在的安全漏洞.分析结果表明,提出的方法能够用于安全DSR协议形式化分析,能够发现一些较为隐蔽的安全缺陷.
|
| 关 键 词： | 移动自组织网络 安全路由协议 形式化分析 攻击 |
Formal analysis method for secure dynamic source routing protocols |
| |
| LIU Jing,FU Fei and XIAO Jun-mo. Formal analysis method for secure dynamic source routing protocols[J]. Journal of PLA University of Science and Technology(Natural Science Edition), 2009, 10(5): 423-429 |
| |
| Authors: | LIU Jing FU Fei XIAO Jun-mo |
| |
| Affiliation: | Institute of Communications Engineering,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Institute of Command Automation,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Institute of Communications Engineering,PLA Univ.of Sci.& Tech.,Nanjing 210007,China |
| |
| Abstract: | Current ly, secure DSR protoco ls are sho rt o f formal analysis methods to find out thei r hiddenv ulnerabilities. To solv e thi s problem, by analy zing the routing process of DSR protoco ls, a lo gic basedanalysis metho d w as proposed. The method defined the basic logic i tems( subject , goal and formula) and inferencerules. The o riginal hy po thesi s and process w ere defined by formulas. Then, inference rules w ereused to produce result s fo r judging the securi ty of the pro tocol. SADSR pro tocol w as found insecure a ndcor rected by thi s method. The result show s that the propo sed method is fit for secure DSR pro to col s fo rmalanaly sis and can be used to find the concealed v ulnerabilites. |
| |
| Keywords: | mobile ad hoc netw ork secure ro uting pro tocol fo rmal analysi s at tack |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《解放军理工大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《解放军理工大学学报(自然科学版)》下载免费的PDF全文 |
|
