基于Petri网的移动IPSEC快速切换的建模与分析.doc

双页码 计算机应用研究 2006年 基于Petri网的移动IPSec快速切换的建模与分析基金项目：国家自然基金；内蒙古自然基金（2011MS0912）。 王燕，李华，周建涛 （内蒙古大学计算机学院, 呼和浩特 010021） （cswy@） Modeling and Analyzing Fast Handover of Mobile IPSec Based on Petri Nets Wang Yan, Li Hua, Zhou Jiantao (College of Computer Science, Inner Mongolia University, Huhhot 010021) Abstract: Using IPSec to encapsulate data on mobile network is an effective method to guarantee the safety of wireless network communication. This paper presents a fast handover model of mobile IPSec. This model reduces the complexity of handover when integrating mobile IP and IPSec through removing the process of re-establishing IPSec tunnel during each handoff. Firstly, Petri nets are used to model this system. Then, the feasibility of this model is validated by the Petri Nets analyzer. At the same time, denial of service attack and replay attack are analyzed during the handover of a mobile node. This paper further models two attacks and verifies defensive capabilities of the fast handover model of mobile IPSec for these attacks. Keywords mobile IPSec; fast handover; Petri nets; attack model 摘要 使用IPSec对移动网络中的数据进行封装是保证无线网络传输安全的有效方法。这里提出了一种移动IPSec的快速切换模型，该模型通过减少移动节点在链路切换时重建IPSec隧道的过程消耗来降低IPSec与移动IP通信切换的复杂度。使用Petri网对该模型建模，利用Petri网分析器验证了模型的可行性，同时分析了移动节点在进行链路切换时易于遭受的两种攻击：拒绝服务攻击和重放攻击，并分别对攻击过程建模，验证了移动IPSec的快速切换模型对这两种攻击的防御能力。 关键词: 移动IPSec; 快速切换模型；Petri网；攻击模型 中图法分类号:TP393.08 移动IP是Internet上为移动计算机提供无缝漫游的协议，使节点可以以一个永久的IP地址连接到任何链路上，并在切换链路时可以保持正常的通信。但人们在享受移动通信便捷服务的同时，也面临着更大的网络信息安全方面的威胁，因而移动IP的安全性问题是移动IP应用的主要障碍之一。在无线环境中，若没有加密和认证则入侵者更易非法获得信息。防止攻击的一种有效办法就是对移动IP工作机制中所涉及的各节点进行认证，对他们之间传输的数据进行加密。使用IPSec对移动网络中的数据进行封装是保证无线网络传输中数据机密性和完整性的一个有效方法。但无线网络中延迟变化大，错误率高，本身性能就比有线网络差，再加之当IPSec与移动IP结合时，使用隧道技术保护家乡代理与移动主机之间通信的安全性，当移动主机在不同的外部网络间切换时，必须在家乡代理重新注册转交地址，而这时就必须重建家乡代理与移动主机之间的IPSec隧道。所以，IPSec的隧道技术在保护数据包安全性的同时，也增加了移动主机在网络切换时的复杂度和资源开销。本文在移动IP与IPSec协议相结合保护移动安全性的基础上，通过避免IPSec安全隧道的重建过程来提高无线网络的性能。另外，为了验证该方法的有效