10.3321/j.issn:1002-0470.2006.06.003
一种通用移动支付模型及其协议的研究
以SEMOPS模型为基础,提出了一种新的通用移动支付模型及其协议.该模型与协议具有应用无关性.通过对交易数据的变换处理和为该模型设计的专有协议,使得用户的交易数据等敏感信息对于支付系统是透明的.另外,由于引入可信的第三方实体,降低了对银行等传统可信实体的信任依赖程度,因此提高了系统的安全性.利用形式化的方法验证了所设计的移动支付协议可以保证支付过程的不可抵赖性.
移动支付、移动商务、不可抵赖性、形式化分析
16
TN91
高比容电子铝箔的研究开发与应用项目2003AA121530;广东省博士启动基金20030013006
2006-08-07(万方平台首次上网日期,不代表论文的发表时间)
共6页
560-565