SET支付协议的形式化分析与改进

• 作者: 吴建耀 张玉清 杨波
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: SET支付协议 运行模式分析法 形式化分析
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 安全技术
• 页码范围: 164-166,168
• 页数: 4页
• 分类号: TP309
• 字数: 5435字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.03.059

摘要

使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析,找到了6种不同的攻击形式,其中4种是新发现的攻击,通过对这6种攻击形式的深入分析和分类,发现了原协议中存在的漏洞,最后对该协议进行了改进,从而有效避免了以上6种攻击,提高了协议的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张玉清	中科院研究生院国家计算机网络入侵防范中心	16	442	13.0	16.0