基于BAN逻辑的密码协议分析

• 作者: 缪祥华
• 来源期刊: 高性能计算技术
• 学科: 工学
• 关键词: BAN 逻辑 密码协议 规则 逻辑推理
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 高性能计算前沿
• 页码范围: 30-32
• 页数: 3页
• 分类号: TP309
• 语种: 中文

摘要

本文运用BAN逻辑分析了Denning-Sacco协议,找出了Denning-Sacco存在的安全漏洞--重放攻击,并提出了两种可行的方法来阻止重放攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪祥华		16	42	4.0	5.0