Accountability Analysis of Electronic Commerce Protocols by Finite Automaton Model

作     者：Xie Xiao-yao 1,2 , Zhang Huan-guo 1 1. School of Computer, Wuhan University, Wuhan 430072, Hubei, China 2. Institute of Network Technology, Guizhou University of Technology, Guiyang 550003, Guizhou, China 

作者机构：Wuhan University School of Computer Wuhan Hubei China (GRID:grid.49470.3e) (ISNI:***) Guizhou University of Technology Institute of Network Technology Guiyang Guizhou China (GRID:grid.443382.a) (ISNI:***) Wuhan University School of Computer Wuhan Hubei China (GRID:grid.49470.3e) (ISNI:***) 

出 版 物：《Wuhan University Journal of Natural Sciences》 (武汉大学学报（自然科学英文版）)

年 卷 期：2004年第9卷第3期

页      面：293-295页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 0839[工学-网络空间安全] 08[工学] 

基　　金：SupportedbytheNationalNaturalScienceFoundationofChina (669730 34  90 1 0 4 0 0 5  60 3730 87) 

主　　题：finite automaton electronic commerce nonrepudiation information security 

摘      要：The accountability of electronic commerce protocols is an important aspect to insures security of electronic transaction. This paper proposes to use Finite Automaton (FA) model as a new kind of framework to analyze the transaction protocols in the application of electronic commerce. Key words finite automaton - electronic commerce - nonrepudiation - information security CLC number TP 393. 08 Foundation item: Supported by the National Natural Science Foundation of China (66973034, 90104005, 60373087) Biography: Xie Xiao-yao (1952-), male, Professor, Ph. D candidate, research direction: information security.