摘要
本文研究了公开密钥协议的防假冒问题,分析了一个不会泄漏消息但可导致假冒出现的协议实例,给出了假冒行为的形式化描述并提出可鉴别协议的概念及形式定义,证明了一个实用协议的安全性(包括机密性和可鉴别性)及可鉴别协议的有关性质.最后,给出了一个协议可鉴别性的判定算法.
This paper considers the problems of preventing masquerade of public key protocols. An example of protocol is analysed that can not release message but can bring about masquerade. In this paper, formal description of masquerade is given, and the formal definition of authenticate protocol is proposed. The security (confidentiality and authenticabi-lity) of a practical protocol is proved. At last, an algorithm is presented which determines the authenticability of a given protocol.
出处
《计算机学报》
EI
CSCD
北大核心
1992年第2期144-152,共9页
Chinese Journal of Computers
关键词
协议
公开密钥
鉴别
保密通信
Protocol security, authentication protocol, public key, network security.
