计算机工程与应用2006，Vol.42Issue(33)：46-49,52,5.
一种移动支付协议的模型检验分析
Model Checking Analysis of Mobile Payment Protocols
刘霞 1古天龙 1郭云川1
作者信息
- 1. 桂林电子工业学院,计算机系,广西,桂林,541004
- 折叠
摘要
关键词
移动支付协议/模型检验/公平性分类
信息技术与安全科学引用本文复制引用
刘霞,古天龙,郭云川..一种移动支付协议的模型检验分析[J].计算机工程与应用,2006,42(33):46-49,52,5.
