基于有色Petri网的移动IP注册过程安全性分析

• 作者: 刘军 李哲 洪继奎 黎兴华
• 来源期刊: 军事通信技术
• 学科: 工学
• 关键词: 注册 拒绝服务攻击 重放攻击 可达性分析
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 维护与革新
• 页码范围: 76-80
• 页数: 5页
• 分类号: TP393
• 语种: 中文

摘要

在分析移动IP注册工作机制及安全威胁的基础上,分别建立了基于有色Petri网的移动IP注册模型和攻击模型,通过推理验证了攻击的可达性,最后给出了相应的防护方法.