基于Petri网的移动IPSEC快速切换的建模与分析
(0) 如何在保证安全性的同时提高无线网络的性能成为无线网络发展中一个非常重要的课题。本文提出了一种移动IPSec 的快速切换模型，该模型通过减少移动节点在链路切换时重建IPSec 隧道的过程消耗来降低通信延迟。文中使用Petri 网对该模型建模，利用Petri 网分析器验证了模型的可行性，同时分析了移动节点在进行链路切换时易于遭受的两种攻击：拒绝服务攻击和重放攻击，并分别对攻击过程建模，验证了移动IPSec 的快速切换模型对这两种攻击的防御能力。
移动IPSec 快速切换模型 Petri网 攻击模型
国内会议
北京
中文
1-5
2012-05-31（万方平台首次上网日期，不代表论文的发表时间）