位置：成果数据库 > 期刊 > 期刊详情页
基于Petri网的移动IPSec快速切换的建模与分析
  • ISSN号：1000-1239
  • 期刊名称：计算机研究与发展
  • 时间：2012
  • 页码：82-89
  • 分类：TP3[自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]内蒙古大学计算机学院
  • 相关基金：国家自然科学基金项目(61163011);内蒙古自然科学基金项目(2011MS0912)
  • 相关项目：面向属性的CPN建模及On the Fly辅助的测试生成方法研究
作者： 王燕|李华|周建涛|
关键词： 移动IPSec, 快速切换模型, PETRI网, 攻击模型, mobile IPSec, fast handover, Petri nets, attack model
中文摘要：

使用IPSec对移动网络中的数据进行封装是保证无线网络传输安全的有效方法.这里提出了一种移动IPSec的快速切换模型,该模型通过减少移动节点在链路切换时重建IPSec隧道的过程消耗来降低IPSec与移动IP通信切换的复杂度.使用Petri网对该模型建模,利用Petri网分析器验证了模型的可行性,同时分析了移动节点在进行链路切换时易于遭受的两种攻击:拒绝服务攻击和重放攻击,并分别对攻击过程建模,验证了移动IPSec的快速切换模型对这两种攻击的防御能力.

英文摘要：

使用IPSec对移动网络中的数据进行封装是保证无线网络传输安全的有效方法.这里提出了一种移动IPSec的快速切换模型,该模型通过减少移动节点在链路切换时重建IPSec隧道的过程消耗来降低IPSec与移动IP通信切换的复杂度.使用Petri网对该模型建模,利用Petri网分析器验证了模型的可行性,同时分析了移动节点在进行链路切换时易于遭受的两种攻击:拒绝服务攻击和重放攻击,并分别对攻击过程建模,验证了移动IPSec的快速切换模型对这两种攻击的防御能力.

同期刊论文项目
面向属性的CPN建模及On the Fly辅助的测试生成方法研究
期刊论文 22 会议论文 14
同项目期刊论文
Attack trace generation of cryptographic protocols based on coloured Petri nets model
Minix3访问控制的系统调用的CPN建模与测试
Web应用工作流的CPN建模
基于Petri网的密码协议形式化建模
6LoWPAN适配层基本功能分析与实现
U2TP到TTCN-3自动转换的研究与实现
基于层次CPN的OpenFlow建模研究
一种针对CP-nets并发模型的验证方法
校园网服务器安全扫描告警系统的设计与实现
基于SDN的校园网动态服务链设计与实现
测试驱动的OpenFlow协议建模
基于 Token 选取的 OpenStack 单一平面网络建模方法
基于HTML5 WebWorker组件的DDoS攻击方式和检测
主成分分析法的网页篡改检测
协议可扩展属性分析及测试方法
Interoperability Test Modelling and Generation Based on Extended Petri Net Incorporating with Non-De
移动通信网中基于用户网络影响的社区发现算法
PN4TS：一种基于CPN模型的IOCO测试选择方法
内蒙古大学：针对HTML5的攻击方式分析及检测方法
CPN建模与on—the—fly方法相结合的测试用例生成
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349