ON THE SECURITY OF PUBLIC KEY PROTOCOLS
ON THE SECURITY OF PUBLIC KEY PROTOCOLS
复制标题
DOI：
10.1109/tit.1983.1056650
复制
发表时间：
1983-01-01
影响因子：
2.5
通讯作者：
YAO, AC
中科院分区：
文献类型：
--
作者：
DOLEV, D;YAO, AC
最近，使用公钥加密来提供安全的网络通信受到了相当大的关注。这样的公钥系统通常对被动窃听者是有效的，被动窃听者只是敲击线路并试图破译信息。然而，有人指出，设计不当的协议可能容易受到主动破坏者的攻击，这些破坏者可能冒充另一个用户或更改正在传输的消息。提出了几个模型，在这些模型中可以精确地讨论协议的安全性。在这些模型中给出了可用于确定协议安全性的算法和表征。
Recently the use of public key encryption to provide secure network communication has received considerable attention. Such public key systems are usually effective against passive eavesdroppers, who merely tap the lines and try to decipher the message. It has been pointed out, however, that an improperly designed protocol could be vulnerable to an active saboteur, one who may impersonate another user or alter the message being transmitted. Several models are formulated in which the security of protocols can be discussed precisely. Algorithms and characterizations that can be used to determine protocol security in these models are given.