SET协议认证机制的形式化分析

• 作者: 李小燕 林宏刚
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 串空间模型 SET协议 形式化分析 安全协议
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 信息处理与网络安全
• 页码范围: 70-72
• 分类号: TP393.08
• 字数: 3271字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2012.06.023

摘要

移动支付是移动电子商务的重要组成部分,而安全性成为移动支付的发展瓶颈,因此电子商务协议的安全性成为此问题的核心.为了解决上述问题,使用串空间模型的测4试理论,对SET协议中用户和商家、商家和支付网关之间的认证性进行形式化分析,分析结果表明商家与支付网关之间的认证是安全的；用户和商家的认证性不满足安全需求,在支付交易流程中双方易受到攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林宏刚	成都信息工程学院网络工程学院	16	84	4.0	9.0
2	李小燕	成都信息工程学院网络工程学院	1	0	0.0	0.0