|
|||||
|
|
| 移动IPv6协议的形式化描述研究 | |
| 引用本文： | 刘静.移动IPv6协议的形式化描述研究[J].内蒙古科技与经济,2010(7):81-82,84. |
| 作者姓名： | 刘静 |
| 作者单位： | 内蒙古大学,图书馆,内蒙古,呼和浩特,010010 |
| 摘 要： | 文章根据RFC3775简单介绍了移动IPv6机制，提出了移动IPv6协议层次化描述方法，把整个移动IPv6协议分为4个层次加以描述，并通过有限状态机建模，为最终抽象测试集的生成奠定了基础。 |
| 关 键 词： | 移动IPv6 有限状态机 形式化描述 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |