您的位置： 专家智库 > >

国家高技术研究发展计划(2006AA1Z422)

作品数：1 被引量：0H指数：0
相关作者：温蜜陈克非郑燕飞董玲更多>>
相关机构：上海交通大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇新鲜性
  • 1篇安全协议
  • 1篇安全性

机构

  • 1篇上海交通大学

作者

  • 1篇董玲
  • 1篇郑燕飞
  • 1篇陈克非
  • 1篇温蜜

传媒

  • 1篇小型微型计算...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
认证协议安全性的非形式化分析
2008年
安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要.本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确性,从而使我们能够给出其协议修正版本的攻击.通过对安全协议不安全实质的分析,文章指出实现安全认证协议的必要条件:主体的活现性和新鲜性标志符的新鲜性和关联性.最后,以问答式认证协议为例,指出了保证主体的活现性和新鲜性标志符的新鲜性和关联性的方法.
董玲温蜜陈克非郑燕飞
关键词：安全协议新鲜性
全选 清除 导出
共1页<1>
聚类工具0