您的位置： 专家智库 > >

李兴锋

作品数：4 被引量：9H指数：1
供职机构：中国科学院计算机网络信息中心更多>>
发文基金：博士科研启动基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇信息表
  • 2篇隧道
  • 2篇隧道技术
  • 2篇主机
  • 2篇主机标识
  • 2篇穿越NAT
  • 1篇SPIN
  • 1篇IPV6

机构

  • 4篇中国科学院
  • 1篇山东省科学院
  • 1篇山东省计算机...

作者

  • 4篇李兴锋
  • 2篇罗万明
  • 2篇毛伟
  • 2篇李晓东
  • 1篇杨美红
  • 1篇张新常
  • 1篇阎保平

传媒

  • 1篇电子与信息学...

年份

  • 1篇2013
  • 1篇2011
  • 1篇2010
  • 1篇2009
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于SPIN的模块化模型检测方法研究被引量：9
2011年
该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的抽象模型分解成若干的模块,并对这些验证复杂度相对低的模块执行模型检测,以替代对原模型的模型检测。所提方法所用的分解过程保留了原模型所有的语义,同时不增加额外的语义,从而使得验证所有模块等同于验证原模型。理论和实验分析结果显示了所提方法的有效性。
李兴锋张新常杨美红阎保平
IPv6隧道过渡技术研究
与IPv4网络的10亿多用户相比，IPv6网络的用户数量并不多，按照Internet中的Robert Metcalfe准则：一个网络的价值与它的节点数目的平方成正比。如果一个新的网络应用和服务没有绝对优势，就不能吸引用户...
李兴锋
一种穿越NAT的隧道过渡方法及系统
本发明公开了一种穿越NAT的隧道过渡方法，包括：NAT域内的用户主机根据MAC地址信息和所连接的隧道服务器地址信息，生成该用户主机的主机标识地址；所述用户主机连接隧道服务器进行NAT类型的检测；根据不同的NAT类型生成相...
罗万明毛伟李晓东李兴锋
文献传递
一种穿越NAT的隧道过渡方法及系统
本发明公开了一种穿越NAT的隧道过渡方法，包括：NAT域内的用户主机根据MAC地址信息和所连接的隧道服务器地址信息，生成该用户主机的主机标识地址；所述用户主机连接隧道服务器进行NAT类型的检测；根据不同的NAT类型生成相...
罗万明毛伟李晓东李兴锋
全选 清除 导出
共1页<1>
聚类工具0