STRAND空间

作品数：6被引量：7H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吕述望姜志坚任侠韩芳溪白英彩更多>>
相关机构：山东大学中国科学技术大学中国科学院研究生院上海交通大学更多>>
相关期刊：《通信学报》《中国科学技术大学学报》《软件学报》《计算机应用》更多>>
相关基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=通信学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Strand空间中基于安全密钥概念的证明思路被引量：1
《通信学报》2005年第2期29-34,共6页任侠 吕述望 
国家"863"基金资助项目(2002AA141040);国家"973"基金资助项目(G1999035800)
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从...
关键词：计算机科学技术基础学科 安全协议证明 strand空间模型 安全密钥 理想概念 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部