计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
33期
46-49,52
,共5页
移动支付协议%模型检验%公平性
移動支付協議%模型檢驗%公平性
이동지부협의%모형검험%공평성
给出了移动支付协议的一种有限状态机建模方法,该方法在传统支付协议的基础上充分考察了移动环境中移动装置和无线网络的特点,所建立的模型具有全面、准确、直观、简洁的特点.以一个典型的移动支付协议KSL为例,对该协议进行有限状态机建模,并通过模型检验工具对其公平性进行了分析验证,指出了其缺陷并进行了改进,从而表明了方法的有效性.该方法具有一定的通用性,以其为基础,可对其他类型的移动电子商务协议进行模型检验分析.
給齣瞭移動支付協議的一種有限狀態機建模方法,該方法在傳統支付協議的基礎上充分攷察瞭移動環境中移動裝置和無線網絡的特點,所建立的模型具有全麵、準確、直觀、簡潔的特點.以一箇典型的移動支付協議KSL為例,對該協議進行有限狀態機建模,併通過模型檢驗工具對其公平性進行瞭分析驗證,指齣瞭其缺陷併進行瞭改進,從而錶明瞭方法的有效性.該方法具有一定的通用性,以其為基礎,可對其他類型的移動電子商務協議進行模型檢驗分析.
급출료이동지부협의적일충유한상태궤건모방법,해방법재전통지부협의적기출상충분고찰료이동배경중이동장치화무선망락적특점,소건립적모형구유전면、준학、직관、간길적특점.이일개전형적이동지부협의KSL위례,대해협의진행유한상태궤건모,병통과모형검험공구대기공평성진행료분석험증,지출료기결함병진행료개진,종이표명료방법적유효성.해방법구유일정적통용성,이기위기출,가대기타류형적이동전자상무협의진행모형검험분석.
