2011 Fifth International Conference on Theoretical Aspects of Software Engineering (2011)
Xi'an, Shaanxi China
Aug. 29, 2011 to Aug. 31, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2011.47
Exchange protocols are an important theoretic basis to make secure electronic commerce and electronic business transactions possible, in which the fairness is a crucial property. To ensure and verify the property, a specific model is proposed, based on the extensive game with imperfect information. Fairness is built in the protocol game and the corresponding game tree. To verify the property, a tree analysis method is offered, and a linear time algorithm is given. As a case study, some flaws of ASW protocol are found.
exchange protocols, fairness, game theory, game tree
Y. Gu, X. Tao, J. Tao and G. Li, "A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols," 2011 Fifth International Conference on Theoretical Aspects of Software Engineering(TASE), Xi'an, Shaanxi China, 2011, pp. 243-246.