基于扩展的认证测试的改进迂回路由协议的安全分析.pdfVIP

第32誊第2期 成都大学学报(自然科学版) V．01．32No．2 ScienceEdition) Jun．2013 of University(Natural 2013年6月 JournalChengdu 文章编号：1004—5422(2013)02—0148—04 基于扩展的认证测试的改进迂回 路由协议的安全分析 易 涛1’2，易 勇2 (1．西华大学数学与计算机学院，四川成都610039；2．成都大学信息科学与技术学院，四川成都610106) 摘要：RFC3775文档中，迂回路由协议被用来保护从移动节点到通信节点的绑定更新．由于迂回路由协议存 在诸多的安全漏洞，提出了一种改进的迂回路由协议，并用扩展的认证测试安全协议形式化方法分析了这种改 进的迂回路由协议的安全性．分析结果显示，该协议的发起者和响应者能相互验证身份． 关键词：移动IPv6；迂N路由协议；认证测试；安全 中图分类号：TP309．7 文献标志码：A 一个随机数．CN对所有现在正在与之通信的节点 0引言 都使用相同的密钥五cⅣ和随机数，这样当有新的移动 随着网络技术及各式各样便携式设备和无线装 节点到来时，通信节点不需要为它产生并存储一个 IPv6，M口晰)逐渐成 置的飞速发展，移动Ⅱ，、，6(Mobile 新的随机数，每个随机数都由一个随机数下标来识 3775文档【11详细描述 为了该领域发展的重点．RFC 别．CⅣ会保留当前的随机数值M以及一组先前的 了关于移动IPv6的相关概念及操作，指出移动节点随机数值M扪川-2．“．艘协议中的消息交换过程如 Address，HoA)和转交 通过允许配置家乡地址(Home 图1所示． 地址(Car{e—ofAddress，CoA)来实现支持移动网络．移 (car) (MM(HA) 动IPv6协议中的路由优化要求移动节点、家乡代理 r 和通信节点维护一个绑定更新(BinaillgUpdate，BU) Co订 一 缓存器．移动节点通过使用绑定更新消息来通知通 ． 胁7’ ’ 3775文档 (■7’ 信结点或家乡代理的当前绑定．在IWC ’ 中，迂回路由(Remm 曰U Routability，RR)协议被用来保 朋 护从移动节点到通信节点的绑定更新．由于RR协 议存在诸多的安全漏洞，有学者提出了一种改进的 图1 RR协议中的消息交换示意图 RR