摘要
在现有移动支付方案研究的基础上,提出一种新的基于第三方的安全移动支付方案。该方案以第三方支付平台为基础,在交易过程中采用"一次一密"的密钥分配机制,改善了现有移动支付方案的缺陷,在安全性上实现交易信息的保密性、不可伪造性及不可否认性等特性,并利用串空间模型的形式化分析方法对相关协议进行安全性证明。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第18期158-159,162,共3页
Computer Engineering
基金
国家"863"计划基金资助项目(2009AA01Z430)
北京市自然科学基金资助项目(9092009)
四川省教育厅科研基金资助项目(09ZC007)
关键词
移动支付
一次一密
协议形式化分析
串空间模型
mobile payment
one-time pad
formal analysis of protocol
strand space model
