基于有穷自动机模型的电子商务支付协议公平性研究

摘要：

文中将形式化方法,即有穷自动机理论分析方法应用到电子商务支付协议的研究中,证明了ISI协议不满足支付过程的公平性,在此基础上提出了具体的修改办法.

关键词：电子商务、支付协议、有穷自动机、公平性、密钥

所属期刊栏目：24

分类号：F716(国内贸易经济)

资助基金：国家自然科学基金90104005,66973034,60373087

在线出版日期：2004-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：13-15,18