| 基于有色Petri网的移动IP注册过程安全性分析 |
| |
| 引用本文： | 洪继奎,刘军,黎兴华,李哲.基于有色Petri网的移动IP注册过程安全性分析[J].军事通信技术,2008(3). |
| |
| 作者姓名： | 洪继奎 刘军 黎兴华 李哲 |
| |
| 作者单位： | 解放军理工大学通信工程学院研究生1队;解放军理工大学通信工程学院电子信息工程系; |
| |
| 摘 要： | 在分析移动IP注册工作机制及安全威胁的基础上,分别建立了基于有色Petri网的移动IP注册模型和攻击模型,通过推理验证了攻击的可达性,最后给出了相应的防护方法。
|
| 关 键 词： | 注册 拒绝服务攻击 重放攻击 可达性分析 |
Security in Mobile IP Registration Based on Coloured Petri Net |
| |
| HONG Ji-kui,LIU Jun,LI Xing-hua,LI Zhe.Security in Mobile IP Registration Based on Coloured Petri Net[J].Journal of Military Communications Technology,2008(3). |
| |
| Authors: | HONG Ji-kui LIU Jun LI Xing-hua LI Zhe |
| |
| Institution: | HONG Ji-kui1,LIU Jun2,LI Xing-hua1,LI Zhe1(1.Postgraduate Team 1 ICE,PLAUST,Nanjing 210007,China,2.Department of Electronic Information Engineering ICE,PLAUST) |
| |
| Abstract: | Based on the analysis of the working mechanism and security threats of mobile IP registration,mobile IP registration model and attacks model were established based on the color petri net,and the accessibility of attacks verified by inference.Finally the corresponding protective methods were presented. |
| |
| Keywords: | registration denial-of-service attacks replay attack reachability analysis |
| 本文献已被 CNKI 等数据库收录！ |
|
