您的位置: 专家智库 > >

李凤英

作品数:4 被引量:4H指数:1
供职机构:桂林电子工业学院计算科学与应用数学系更多>>
发文基金:广西壮族自治区自然科学基金广西青年科学基金国防科技技术预先研究基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 3篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇网络
  • 1篇异构
  • 1篇异构网
  • 1篇异构网络
  • 1篇通信
  • 1篇通信协议
  • 1篇重放攻击
  • 1篇转换器
  • 1篇协议转换
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇安全性
  • 1篇KERBER...

机构

  • 4篇桂林电子工业...

作者

  • 4篇古天龙
  • 4篇李凤英
  • 4篇董荣胜
  • 2篇蔡国永
  • 1篇赵新有
  • 1篇郭云川

传媒

  • 1篇计算机工程与...
  • 1篇桂林电子工业...
  • 1篇计算机科学
  • 1篇中国自动化学...

年份

  • 2篇2003
  • 2篇2001
4 条 记 录,以下是 1-4
排序方式:
异构网络协议转换器构造技术研究
2003年
A protocol converter can solve the problem of communication between heterogeneous and distributed com-puter networks. This paper proposes a novel approach to construct a converter for these protocols. This approach in-cludes following steps:getting reduced protocol model by merging states and shielding insignificant message; con-structing protocol converter by reduced protocols; dividing merged states and getting a protocol converter. This ap-proach can improve computational complexity.
赵新有古天龙董荣胜李凤英
关键词:通信协议
基于计时Petri网的异构协议转换器的构造算法实现
构造协议转换器是解决异构网络互连的重要途径.理想的转换器应该能提供有效的、无丢失的通信,同时还要满足及时特性,也就是能在有限的时间内完成协议转换.本文实现了基于计时Petri网的协议转换器构造算法,通过引入时间因素来使转...
李凤英古天龙蔡国永董荣胜
关键词:异构网络协议转换
文献传递
Kerberos协议安全性的符号模型检验分析被引量:4
2003年
基于模型检验的安全协议分析和验证是协议工程研究的一个新方向。该文建立了Kerberos协议的有限状态机模型,并用符号模型检验器(SMV)从安全属性的两个方面———认证性和保密性分析了Kerberos协议,指出了Kerberos协议的缺陷。
郭云川古天龙董荣胜李凤英
关键词:安全性重放攻击
动态协议转换器的构造算法
2001年
协议转换器能够解决异构、分布式计算机网络之间的通信问题。而当前的转换器在协议转换过程中都是被动的 ,也就是说它不能主动地发送一个信息来初始化一个转换。通过研究基于计时 Petri网的协议转换器的构造技术 ,提出动态协议转换器的具体构造算法。
李凤英古天龙蔡国永董荣胜
关键词:计算机网络
共1页<1>
聚类工具0