计算机科学技术基础学科

作品数：68被引量：66H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陶然张昊李志勇周培德王凤英更多>>
相关机构：北京理工大学北京邮电大学山东理工大学四川大学更多>>
相关期刊：《中国科技论文在线精品论文》《通信学报》《科技通报》《兵工学报》更多>>
相关基金：国家自然科学基金国防基础科研计划国家高技术研究发展计划国家242信息安全计划更多>>
-
在结果中检索

检索结果分析

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