计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  留言板 |  联系我们 |  投稿常见问题解答 |  English Version     30周年刊庆
计算机应用  2012, Vol. 32 Issue (08): 2095-2102    DOI: 10.3724/SP.J.1087.2012.02095
网络与通信 最新目录| 下期目录| 过刊浏览| 高级检索 |
带π演算验证的FMIPv6优化方案
李向丽1,王晓燕1,王正斌2,屈智巍3
1. 郑州大学 信息工程学院,郑州 450001
2. 青海大学 化工学院,西宁 810016
3. 秦皇岛公安消防支队,河北 秦皇岛 066000
Optimized scheme about FMIPv6 with π-calculus verification
LI Xiang-li1,WANG Xiao-yan2,WANG Zheng-bin3,QU Zhi-wei3
1. School of Information Engineering, Zhengzhou University, Zhengzhou Henan 450001, China
2. Institute of Chemical Technology, Qinghai University, Xining Qinghai 810000, China
3. Public Security Fire Detachment of Qinhuangdao, Qinhuangdao Hebei 066000, China



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn