一种新的密码协议分析方法及其应用

• 作者: 张梅 文静华 李祥
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 密码协议 安全性 形式化分析 ATL
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 信息安全
• 页码范围: 1087-1089
• 页数: 3页
• 分类号: TP309.7
• 字数: 3972字
• 语种: 中文

摘要

针对传统时序逻辑把协议看成封闭系统进行分析的缺点,提出一种新的基于策略的ATL(Alternating-time Temporal Logic)逻辑方法分析密码协议.最后用新方法对Needham-Schroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击.工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张梅	贵州财经学院信息学院	43	257	9.0	14.0