论文部分内容阅读
以SEMOPS模型为基础，提出了一种新的通用移动支付模型及其协议。该模型与协议具有应用无关性。通过对交易数据的变换处理和为该模型设计的专有协议，使得用户的交易数据等敏感信息对于支付系统是透明的。另外，由于引入可信的第三方实体，降低了对银行等传统可信实体的信任依赖程度，因此提高了系统的安全性。利用形式化的方法验证了所设计的移动支付协议可以保证支付过程的不可抵赖性。