SET支付协议简化版本的运行模式分析

• 作者: 吴建耀 张玉清 杨波
• 来源期刊: 计算机应用研究
• 关键词: SET支付协议 运行模式分析法 形式化分析
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 信息安全
• 页码范围: 124-127
• 页数: 4页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2005.10.041

摘要

主要使用运行模式法对简化的SET支付协议即Lu-Smolka协议进行了形式化分析,通过分析找到了六种不同的攻击形式,其中四种是新发现的攻击,并且对这六种攻击形式进行了深入的分析,发现了其中的差异和可能造成的潜在攻击,最后根据攻击的特征对这六种攻击进行了分类.