您的位置： 专家智库 > >

袁亚飞

作品数：1 被引量：0H指数：0
供职机构：解放军信息工程大学信息工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

机构

  • 1篇解放军信息工...

作者

  • 1篇廉玉忠
  • 1篇袁亚飞

传媒

  • 1篇宜春学院学报

年份

  • 1篇2004
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
NSL协议逻辑化分析
2004年
逻辑化方法是当前分析密码协议安全性的重要方法.本文通过运用一种新的认证逻辑系统,给出NSL 认证协议的形式化分析证明,并提出协议改进方案.
袁亚飞廉玉忠
全选 清除 导出
共1页<1>
聚类工具0