您的位置： 专家智库 > >

杨谨

作品数：1 被引量：0H指数：0
供职机构：中国人民解放军西安通信学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇自动生成
  • 1篇网络
  • 1篇网络安全
  • 1篇网络安全协议
  • 1篇进化规划
  • 1篇安全协议
  • 1篇BAN逻辑

机构

  • 1篇中国人民解放...

作者

  • 1篇申普兵
  • 1篇杨谨
  • 1篇孙王华

传媒

  • 1篇现代电子技术

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于进化规划的网络安全协议的自动生成
2008年
提出了基于进化规划的安全协议生成方法,并用BAN逻辑来描述和验证协议,为进一步提高协议生成效率,降低协议消息的冗余度,加入了协议优化模块。该方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议。实验表明,本文方法能够成功、高效地生成安全协议,保证所生成协议的安全性。
孙王华申普兵杨谨
关键词：安全协议BAN逻辑进化规划自动生成
全选 清除 导出
共1页<1>
聚类工具0