-
题名基于通用可组合理论的协议安全性证明方法讨论
- 1
-
-
作者
刘宇靓
任伟
-
机构
中国地质大学(武汉)计算机学院信息安全系
-
出处
《信息网络安全》
2012年第6期18-22,共5页
-
基金
国家自然科学基金项目[61170217]
-
文摘
文章介绍了可证明安全协议设计中较为流行的UC模型,对UC模型的提出、证明目标、证明过程等进行了总结和分析。通过一个公钥加密通信协议的举例,解释了UC模型下的证明过程。文章最后给出使用UC模型的一般规律。
-
关键词
可组合理论
UC安全模型
可证明安全协议
-
Keywords
combinatorial theory
UC security model
provable secure protocol
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名Strand空间中基于安全密钥概念的证明思路
被引量:1
- 2
-
-
作者
任侠
吕述望
-
机构
中国科学院研究生院信息安全国家重点实验室
-
出处
《通信学报》
EI
CSCD
北大核心
2005年第2期29-34,共6页
-
基金
国家"863"基金资助项目(2002AA141040)
国家"973"基金资助项目(G1999035800)
-
文摘
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。
-
关键词
计算机科学技术基础学科
安全协议证明
strand空间模型
安全密钥
理想概念
-
Keywords
basic department of computer science and technology
security protocol proof
Strand spaces model
safe keys
concept of ideals
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-