摘要： 在现有移动支付方案研究的基础上，提出一种新的基于第三方的安全移动支付方案。该方案以第三方支付平台为基础，在交易过程中采用“一次一密”的密钥分配机制，改善了现有移动支付方案的缺陷，在安全性上实现交易信息的保密性、不可伪造性及不可否认性等特性，并利用串空间模型的形式化分析方法对相关协议进行安全性证明。

关键词: 移动支付, 一次一密, 协议形式化分析, 串空间模型

Abstract: On basis of the research of existing mobile payment schemes, the weaknesses of these schemes are presented. A new secure mobile payment based on the third-party payment platform is given. The new scheme uses the one-time key distribution method in the transaction to improve the weaknesses of existing mobile payment schemes. Furthermore, considering the fairness of transaction, the new scheme provides message confidentiality, unforgeability, non-repudiation support. The protocols in the new scheme are formal analyzed by strand space model.

Key words: mobile payment, one-time pad, formal analysis of protocol, strand space model

中图分类号: 

• TN918.2