When is a key establishment protocol correct?
When is a key establishment protocol correct?
复制标题
密钥建立协议何时正确？
DOI：
10.1002/sec.100
复制
发表时间：
2009-11
影响因子：
--
通讯作者：
Wen, Mi
中科院分区：
文献类型：
--
作者：
Chen, Kefei;Dong, Ling;Lai, Xuejia;Wen, Mi
基于信任多集的形式化，给出了保证密钥建立(KE)协议安全性的充要条件。形式化用于表示KE协议的安全性和对协议中的信任进行推理。我们观察到，在特定协议运行中，诸如随机数之类的新鲜性标识符对于合法的一方可能不是新鲜性的，因此从参与者对安全性的信念的意义上，我们将可信新鲜性标识符与常用的新鲜性标识符区分开来。我们方法的一个核心要素是，所有的信念都应该建立在一个受信任的新鲜度标识符的基础上。与安全条件相比，该方法的推理结果可以在协议事实上正确的情况下确定KE协议的正确性，或者识别出不存在安全属性，从而导致直接构造攻击。给出了两个例子，分布式传感器网络中的Kerberos对密钥协商方法和Needham-Schroeder公钥协议，验证了该方法的可用性和有效性。版权所有©2009 John Wiley&Sons，Ltd.
This paper presents sufficient and necessary conditions to guarantee the security of a Key Establishment (KE) protocol based on our formalism of the belief multisets. The formalism is used to express the security of a KE protocol and to reason about beliefs in the protocol. We observe that a freshness identifier such as a nonce may not be fresh for a legitimate party in a particular protocol run, hence we distinguish a trusted freshness identifier from the commonly used freshness identifier in the sense of a participant's beliefs about the security. A central ingredient in our approach is that all the beliefs should be established on the basis of a trusted freshness identifier. The reasoning results of our approach, comparing with the security conditions, can either establish the correctness of a KE protocol when the protocol is in fact correct, or identify the absence of the security properties, which leads to the structure to construct attacks directly. Two examples, the Kerberos pair-key agreement approach in distributed sensor networks and the Needham—Schroeder public key protocol, are given to show the usability and the efficiency of our approach. Copyright © 2009 John Wiley & Sons, Ltd.
登录
查看更多内容
DOI：
10.1109/risp.1994.296587
发表时间：
1994-05
期刊：
Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy
影响因子：
--
作者：
M. Abadi;R. Needham
通讯作者：
M. Abadi;R. Needham
DOI：
--
发表时间：
2000
期刊：
Acta Geologica Sinica ‐ English Edition
影响因子：
--
作者：
D. Carman;P. Kruus;B. Matt
通讯作者：
D. Carman;P. Kruus;B. Matt
DOI：
10.1007/3-540-61042-1_43
发表时间：
1996-03
期刊：
Softw. Concepts Tools
影响因子：
--
作者：
G. Lowe
通讯作者：
G. Lowe
影响因子：
2.5
作者：
DOLEV, D;YAO, AC
通讯作者：
YAO, AC
DOI：
10.1098/rspa.1989.0125
发表时间：
1989-12-08
期刊：
PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
影响因子：
--
作者：
BURROWS, M;ABADI, M;NEEDHAM, RM
通讯作者：
NEEDHAM, RM