Abstract: A non-repudiation protocol designed by Zhou and Gollmann is a typical electronic commerce protocol, which provides participants with fairness service. To verify the protocol this article models the electronic commerce system as the state transition system

Key words: Fairness,Transition system,Compliance,Abortion,Deception