移动IPv6协议的形式化描述研究

• 作者: 刘静
• 来源期刊: 内蒙古科技与经济
• 学科: 工学
• 关键词: 移动IPv6 有限状态机 形式化描述
• 年，卷（期）: 2010,（7）
• 所属期刊栏目: 专论与综述
• 页码范围: 81-82,84
• 分类号: TP393
• 字数: 3200字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-6921.2010.07.038

摘要

文章根据RFC3775[1]简单介绍了移动IPv6机制,提出了移动IPv6协议层次化描述方法,把整个移动IPv6协议分为4个层次加以描述,并通过有限状态机建模,为最终抽象测试集的生成奠定了基础.