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

Fairness Research of Electronic Commerce Paying Protocols Based on Finite Automaton Model

作　　者：谢晓尧[1] 张焕国[1] 

机构地区：[1]武汉大学计算机学院

出　　处：《计算机应用》2004年第6期13-15,18,共4页journal of Computer Applications

基　　金：国家自然科学基金资助项目 (90 1 0 40 0 5; 6 6 973 0 3 4; 6 0 3 73 0 87)

摘　　要：文中将形式化方法,即有穷自动机理论分析方法应用到电子商务支付协议的研究中,证明了ISI协议不满足支付过程的公平性,在此基础上提出了具体的修改办法。This paper proposes Finite Automaton(FA) model as a new kind of framework, with the aim of analyzing and research if paying protocols in the application of electronic commerce can meet with fairness in the process of payment. This paper proves that ISI protocol can't meet fairness and gives a modification way in detail.

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

分 类 号：F716[经济管理—产业经济]