摘要
设计安全协议非常容易出错,因此有必要对协议进行安全性分析。传统的试错法仅仅对于已知攻击具有检测能力,经该方法检测为正确的协议,在一段时间后往往被发现存在安全漏洞。据此,学者们提出了多种安全协议的证明技术。本文围绕这一理论展开探讨,以期对安全协议提供安全性准确可信的分析方法。
the design of security protocol is very easy to make a mistake, it is necessary to carry out the security analysis of the protocol. The conventional trial and error method only has the ability to detect the known attacks, the method of detection for the correct protocol, after a period of time is often found vulnerabilities. Therefore, scholars have proposed many kinds of security protocols proven technology. Based on this theory are discussed, in order to secure reliable analysis method for security protocols.
出处
《网络安全技术与应用》
2013年第9期70-71,共2页
Network Security Technology & Application
关键词
可证明安全
形式化
随机预言机模型
标准模型
provably secure
in the random
oracle model form
of the standard model
