首页 | 本学科首页   官方微博 | 高级检索  
     

基于第三方的安全移动支付方案
引用本文:黄晓芳,周亚建,赖欣,杨义先. 基于第三方的安全移动支付方案[J]. 计算机工程, 2010, 36(18): 158-159
作者姓名:黄晓芳  周亚建  赖欣  杨义先
作者单位:1. 西南科技大学计算机科学与技术学院,四川,绵阳,621010
2. 北京邮电大学灾备技术国家工程实验室,北京,100876
3. 中国民航飞行学院空中交通管理学院,四川,广汉,618307
基金项目:国家"863"计划基金资助项目,北京市自然科学基金资助项目,四川省教育厅科研基金资助项目 
摘    要:在现有移动支付方案研究的基础上,提出一种新的基于第三方的安全移动支付方案。该方案以第三方支付平台为基础,在交易过程中采用“一次一密”的密钥分配机制,改善了现有移动支付方案的缺陷,在安全性上实现交易信息的保密性、不可伪造性及不可否认性等特性,并利用串空间模型的形式化分析方法对相关协议进行安全性证明。

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

Security Mobile Payment Scheme Based on the Third-party
HUANG Xiao-fang,ZHOU Ya-jian,LAI Xin,YANG Yi-xian. Security Mobile Payment Scheme Based on the Third-party[J]. Computer Engineering, 2010, 36(18): 158-159
Authors:HUANG Xiao-fang  ZHOU Ya-jian  LAI Xin  YANG Yi-xian
Affiliation:(1. School of Computer Science and Technology, Southwest University of Science and Technology, Mianyang 621010, China;2. National Engineering Laboratory for Disaster Backup and Recovery, Beijing University of Posts and Telecommunications, Beijing 100876, China; 3. Air Traffic Management College, Civil Aviation Flight University of China, Guanghan 618307, China)
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.
Keywords:mobile payment  one-time pad  formal analysis of protocol  strand space model
本文献已被 维普 万方数据 等数据库收录!
点击此处可从《计算机工程》浏览原始摘要信息
点击此处可从《计算机工程》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号