基于SPIN的远程证明协议的形式化分析及改进

• 作者: 王峥 王莉 秦嫚蔓
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 移动支付 远程证明协议 用户属性 形式化分析 SPIN模型检测
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 热点与综述
• 页码范围: 34-38,72
• 页数: 6页
• 分类号: TP309
• 字数: 4477字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1606-0076

摘要

远程证明是解决移动支付安全问题的有效手段之一。通过对可信计算远程证明协议进行分析，发现用户平台配置信息的隐私性、用户的认证性和远程验证者的认证性存在脆弱点，使用SPIN模型检测工具，应用模型检测方法对协议进行了形式化分析，检测出破坏性攻击漏洞。针对协议中的漏洞对协议进行改进，提出了一种基于用户属性加盐哈希的方法，通过用户属性保证协议的安全传输。最后使用SPIN检测改进后的协议，证明了改进方案的有效性、安全性，阻断了发现的攻击。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王莉	太原理工大学计算机科学与技术学院	61	434	9.0	19.0
2	王峥	太原理工大学计算机科学与技术学院	13	59	5.0	7.0
3	秦嫚蔓	太原理工大学计算机科学与技术学院	1	8	1.0	1.0