轻量级移动支付协议公平性分析

• 作者: 李娜 李茜 王峥 马建芬
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 移动支付协议 形式化分析 串空间 公平性 模型检测
• 年，卷（期）: 2018,（19）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 82-87
• 页数: 6页
• 分类号: TP393.08
• 字数: 5585字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1706-0416

摘要

为保证移动支付安全、顺利进行,必须采用安全的移动支付协议.针对计算和存储能力有限的移动设备和不可靠的移动环境,选择采用对称加密的轻量级移动支付协议PCMS,使用串空间理论对其建模,进行形式化分析.通过图的方式直观描述协议的执行过程,分析协议安全目标,基于串空间理论的认证测试方法,对该协议的公平性形式化分析.针对PCMS协议不满足公平性,提出增加时间戳来解决,同时增加一个退款子协议完成后续退款操作.结合模型检测工具验证分析,结果表明,改进后的协议满足公平性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建芬	太原理工大学计算机科学与技术学院	53	202	8.0	11.0
2	王峥	太原理工大学计算机科学与技术学院	13	59	5.0	7.0
3	李娜		10	11	2.0	3.0
4	李茜	太原理工大学计算机科学与技术学院	9	24	2.0	4.0