Zhangguo Shen

  • Citations Per Year
Learn More
Fair exchange turns out to be an increasingly important topic due to the rapid growth of electronic commerce in daily life. In this paper, a novel model based on game theory is proposed in order to analyze fair exchange protocols. The formal description of fair exchange protocols is given, and two important properties --- non-repudiation and fairness ---(More)
Formal methods are proved to be effective in analyzing security protocols. GSPM is a general model for formal analysis of security protocols by using process algebra and knowledge inference. In order to implement the automatic tool for verification, in this paper we introduce symbolic techniques into GSPM framework. Symbolic techniques can eliminate(More)
  • 1