论文研究-轻量级移动支付协议公平性分析.pdf

时间:2022-09-26 09:56:38
【文件属性】:

文件名称:论文研究-轻量级移动支付协议公平性分析.pdf

文件大小:754KB

文件格式:PDF

更新时间:2022-09-26 09:56:38

论文研究

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


网友评论