| 移动IPv6的快速切换的代数验证 |
| |
| 引用本文： | 胡运安,夏正友,钟亦平,杨明.移动IPv6的快速切换的代数验证[J].计算机工程与应用,2004,40(20):161-164. |
| |
| 作者姓名： | 胡运安 夏正友 钟亦平 杨明 |
| |
| 作者单位： | 上海复旦大学计算机与信息技术系,上海,200433 |
| |
| 摘 要： | 利用π演算理论分析移动通信系统,可以严格而规范地描述其协议过程,并给予代数验证。文章基于π演算理论来分析移动IPv6的快速切换机制。首先建立了切换的π演算模型,然后通过推导,证明了模型的一致性。这将为移动IPv6的快速切换的研究提供一定的参考和分析价值。
|
| 关 键 词： | 移动IPv6 快速切换 π演算 代数验证 |
| 文章编号： | 1002-8331-(2004)20-0161-04 |
An Algebraic Verification of Mobile IPv6 Fast Handover |
| |
| Hu,Yunan Xia Zhengyou Zhong Yiping Yang Ming.An Algebraic Verification of Mobile IPv6 Fast Handover[J].Computer Engineering and Applications,2004,40(20):161-164. |
| |
| Authors: | Hu Yunan Xia Zhengyou Zhong Yiping Yang Ming |
| |
| Abstract: | To analyze the mobile communication system,it can useπ-calculus to strictly and formally descripe and ver-ify its protocols.In the paper,fast handover for mobile ipv6is analyzed based onπ-calculus model.Firstly,a calculus model is proposed,and then its congruence is proved by deducing.It will be helpful for analyzing and referring to fast handover for Mobile IPv6. |
| |
| Keywords: | Mobile IPv6 fast handover π-calculus algebraic verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
