【摘要】 利用π演算理论分析移动通信系统,可以严格而规范地描述其协议过程,并给予代数验证。文章基于π演算理论来分析移动IPv6的快速切换机制。首先建立了切换的π演算模型,然后通过推导,证明了模型的一致性。这将为移动IPv6的快速切换的研究提供一定的参考和分析价值。更多还原

【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.更多还原