可证明安全理论的发展

• 作者: 张曼君
• 来源期刊: 网络安全技术与应用
• 学科: 教育
• 关键词: 可证明安全 形式化 随机预言机模型 标准模型
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 网络·安全
• 页码范围: 70-71
• 页数: 2页
• 分类号: G434
• 字数: 3332字
• 语种: 中文

摘要

设计安全协议非常容易出错,因此有必要对协议进行安全性分析.传统的试错法仅仅对于已知攻击具有检测能力,经该方法检测为正确的协议,在一段时间后往往被发现存在安全漏洞.据此,学者们提出了多种安全协议的证明技术.本文围绕这一理论展开探讨,以期对安全协议提供安全性准确可信的分析方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张曼君	西安邮电大学通信与信息工程学院	2	3	1.0	1.0