您的位置： 专家智库 > >

贵州省自然科学基金(20052111)

作品数：2 被引量：7H指数：1
相关作者：文静华余滨李祥张梅梁敏更多>>
相关机构：贵州财经大学贵州大学更多>>
发文基金：贵州省教育厅自然科学研究项目贵州省自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇移动IP
  • 1篇移动性
  • 1篇网络
  • 1篇网络协议
  • 1篇符号模型检验
  • 1篇SMV
  • 1篇IPV4
  • 1篇IPV6
  • 1篇IPSEC

机构

  • 2篇贵州大学
  • 2篇贵州财经大学

作者

  • 2篇文静华
  • 1篇梁敏
  • 1篇张梅
  • 1篇李祥
  • 1篇余滨

传媒

  • 1篇计算机工程
  • 1篇福建电脑

年份

  • 2篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于SMV的网络协议形式化分析与验证被引量：7
2006年
提出了采用模型检验方法对网络协议进行形式化分析及自动验证,建立了一个特定网络协议PAR的有限状态机模型,并用模型检验工具SMV验证其正确性,发现了该协议存在的一些缺陷。结果表明,利用符号模型检验方法分析检验网络协议是可行的。
文静华余滨张梅李祥
关键词：网络协议符号模型检验
IPv6与IPv4的移动性比较
2006年
移动IP即是为解决移动计算问题而提出的网络层移动解决方案。本文比较了IPv4及IPv6下移动IP的原理和实现机制,分析了两者之间的联系与本质区别,重点介绍了IPv6下的移动性新特征与优势。
梁敏文静华
关键词：移动IPIPV4IPV6IPSEC
全选 清除 导出
共1页<1>
聚类工具0