一种新的协议安全性分析方法

• 作者: 胡建军
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 关联性 保密性 可识别 安全 挑战-响应
• 年，卷（期）: 2009,（10）
• 所属期刊栏目: 安全技术
• 页码范围: 168-169,172
• 页数: 3页
• 分类号: TN92
• 字数: 2851字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.10.055

摘要

对安全协议的本质求同和存异进行讨论,在保证协议正确性的前提下,以"挑战-响应"为协议分析的基本单位,提出一种利用集合运算分析协议安全性的方法,对Needham-Schroeder协议和Needham-Schroeder-Lowe协议的分析和验证结果表明,该方法具有较好的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡建军	甘肃联合大学数学与信息学院	31	107	5.0	8.0