基于SPI演算的移动自主网络安全路由协议分析

作     者：王英龙 徐东红 王美琴 高仲合 Wang Yinglong;Xu Donghong;Wang Meiqin;Gao Zhonghe

作者机构：山东大学信息科学与工程学院济南250100 曲阜师范大学计算机科学学院日照276826 山东省计算机中心济南250014 

基　　金：山东省自然科学基金资助项目(编号:Z2003G01) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2006年第42卷第6期

页      码：132-135页

摘      要：安全协议是许多分布式系统安全的基础,也是MANET网络的基础,确保MANET路由协议的安全运行是极为重要的。对于MANET的特点,设计一个可靠的安全路由协议是必须的,也是一个艰巨的任务,但大多数的安全路由协议都是通过模拟结果来进行解释的,缺乏严格形式化分析来确保其安全属性。在传统的安全属性中,加密协议已经被形式化分析许多年了,然而去形式化分析移动adhoc网路由协议的工作并没有出现已成熟的方法和理论的文献。论文针对SRP(secureroutingprotocol)协议模型用SPI演算做出形式化分析,在论文提出的攻击者进程模型下,可以推导出SRP产生一定的脆弱性。

主 题 词：安全路由协议 安全性 移动自主网 SPI演算 SRP 抽象解释 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2006.06.040

馆 藏 号：203418102...