您的位置： 专家智库 > >

左英男

作品数：2 被引量：0H指数：0
供职机构：信息安全国家重点实验室更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇国内会议论文

领域

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

主题

  • 2篇密码
  • 2篇密码协议
  • 2篇模式识别
  • 2篇BAN逻辑

机构

  • 2篇信息安全国家...

作者

  • 2篇左英男
  • 2篇许剑卓
  • 2篇戴英侠

传媒

  • 1篇第十四届全国...
  • 1篇第14届全国...

年份

  • 2篇1999
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
BAN逻辑成立的前提
Ｎ逻辑是用于分析密码协议安全性的一种形式化工具，但是ＢＡＮ逻辑中的推理法则只有在一定假设的情况下才是正确的。该文分析了ＢＡＮ逻辑成立所依赖的假设并指出类ＢＡＮ逻辑中的信任模型无法反映现实中的信任关系。
许剑卓戴英侠左英男
关键词：BAN逻辑密码协议模式识别
BAN逻辑成立的前提
ＢＡＮ逻辑是用于分析密码协议安全性的一种形式化工具，但是ＢＡＮ逻辑中的推理法则只有在一定假设的情况下才是正确的。该文分析了ＢＡＮ逻辑成立所依赖的假设并指出类ＢＡＮ逻辑中的信任模型无法反映现实中的信任关系。
许剑卓戴英侠左英男
关键词：BAN逻辑密码协议模式识别
全选 清除 导出
共1页<1>
聚类工具0