收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种移动支付协议的模型检验分析

刘霞  古天龙  郭云川  
【摘要】:给出了移动支付协议的一种有限状态机建模方法,该方法在传统支付协议的基础上充分考察了移动环境中移动装置和无线网络的特点,所建立的模型具有全面、准确、直观、简洁的特点。以一个典型的移动支付协议KSL为例,对该协议进行有限状态机建模,并通过模型检验工具对其公平性进行了分析验证,指出了其缺陷并进行了改进,从而表明了方法的有效性。该方法具有一定的通用性,以其为基础,可对其他类型的移动电子商务协议进行模型检验分析。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 程广金;缪淮扣;方明科;梅佳;髙洪皓;;基于XML的Web应用模型抽取[J];计算机科学;2011年09期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国博士学位论文全文数据库 前2条
1 陈俊清;可信普适服务的形式化分析与验证[D];上海交通大学;2012年
2 杨勇;SOA等级化服务替换理论与机制[D];复旦大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘锋;安全协议模型检验技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
2 宋艳;基于π-演算的BPEL4WS性质检验[D];湖南师范大学;2006年
3 刘霞;移动电子商务协议的模型检验分析与设计研究[D];桂林电子科技大学;2006年
4 武涛;基于增量式可满足性求解的安全协议形式化验证方法[D];北京交通大学;2009年
5 李志新;基于串空间理论的电子商务协议安全性研究[D];大连理工大学;2008年
6 闫艳;面向服务的多参与者协调建模验证[D];南京航空航天大学;2010年
7 吴光伟;基于串空间的安全协议Athena分析方法的研究[D];桂林电子科技大学;2006年
8 李超;安全协议的Athena方法研究[D];桂林电子科技大学;2007年
9 王春;基于Baosteel电子商务的CRM研究及应用[D];东华大学;2012年
10 马元飞;基于时间着色Petri网的SIP协议形式化验证与分析[D];内蒙古大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978