协议组合逻辑安全的Ad Hoc网络路由协议安全验证方法

• 作者: 冯涛 袁占亭 郭显
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 移动Ad Hoc网络 协议组合逻辑 安全路由协议 动态源路由协议
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 网络技术与信息安全
• 页码范围: 2794-2799
• 页数: 6页
• 分类号: TP309
• 字数: 6953字
• 语种: 中文

摘要

扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和多跳无线广播通信特征,引入了线程位置和线程位置相邻概念,定义了广播规约规则.PCL-RP模型中提出了运行迹概念,在运行迹上定义了谓词公式和模态公式的语义.分析协议安全属性时,PCL-RP模型证明系统中的公理和规则保证无需明确推理攻击者的行为,这种方法能够简化分析过程,提高安全分析的可信度.另外,提出了路由协议安全目标,设计了基于动态源路由协议DSR的安全路由协议LSDSR.最后,在PCL-RP模型中描述并分析了LSDSR的安全性,证明LSDSR能够满足安全目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁占亭	兰州理工大学计算机与通信学院	84	771	14.0	25.0
2	冯涛	兰州理工大学计算机与通信学院	33	352	13.0	17.0
3	郭显	兰州理工大学计算机与通信学院	13	50	4.0	6.0