| 基于有穷自动机模型的电子商务支付协议公平性研究 |
| |
| 引用本文： | 谢晓尧,张焕国. 基于有穷自动机模型的电子商务支付协议公平性研究[J]. 计算机应用, 2004, 24(6): 13-15,18 |
| |
| 作者姓名： | 谢晓尧 张焕国 |
| |
| 作者单位： | 武汉大学,计算机学院,湖北,武汉,430079;贵州工业大学,网络技术研究所,贵州,贵阳,550003;武汉大学,计算机学院,湖北,武汉,430079 |
| |
| 基金项目： | 国家自然科学基金资助项目 (90 1 0 40 0 5，6 6 973 0 3 4，6 0 3 73 0 87) |
| |
| 摘 要： | 文中将形式化方法，即有穷自动机理论分析方法应用到电子商务支付协议的研究中，证明了ISI协议不满足支付过程的公平性，在此基础上提出了具体的修改办法。
|
| 关 键 词： | 电子商务 支付协议 有穷自动机 公平性 密钥 |
| 文章编号： | 1001-9081(2004)06-0013-03 |
Fairness Research of Electronic Commerce Paying Protocols Based on Finite Automaton Model |
| |
| XIE Xiao-yao. Fairness Research of Electronic Commerce Paying Protocols Based on Finite Automaton Model[J]. Journal of Computer Applications, 2004, 24(6): 13-15,18 |
| |
| Authors: | XIE Xiao-yao |
| |
| Affiliation: | XIE Xiao-yao~ |
| |
| Abstract: | 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. |
| |
| Keywords: | electronic commerce paying protocol finite automaton fairness key |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
