Formal Analysis of Electronic Payment Protocols Based on Game Logic
Huanguo Zhang · Microelectronics & Computer · 2007
A new logical method based on game to model and analyze electronic payment protocols is proposed in this paper. Strict formal analysis for Bolignano protocol is made by this new method, and Bolignano protocol is discovered non-fairness.