文献类型：期刊文章

作　　者：黄晓芳[1] 周亚建[2] 赖欣[3] 杨义先[2]

机构地区：[1]西南科技大学计算机科学与技术学院,四川绵阳621010 [2]北京邮电大学灾备技术国家工程实验室,北京100876 [3]中国民航飞行学院空中交通管理学院,四川广汉618307

出　　处：《计算机工程》

基　　金：国家"863"计划基金资助项目(2009AA01Z430);北京市自然科学基金资助项目(9092009);四川省教育厅科研基金资助项目(09ZC007)

年　　份：2010

卷　　号：36

期　　号：18

起止页码：158-159

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、UPD、ZGKJHX、核心刊

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

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

分 类 号：TN918.2]