Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊

JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM ›› 2002, Vol. 25 ›› Issue (4): 42-46.

Previous Articles     Next Articles

The Formal Model of a Simple Network Payment Protocol

ZHANG Ze-li, MA Hua-dong   

  1. Computer Science and Technology School, Beijing University of Posts and Telecommunications, Beijing 100876, China)
  • Received:2001-12-11 Online:2002-11-10
  • Supported by:
     

Abstract: Focusing on the payment problem for the e-commerce,discusses on the simple network payment protocol (SNPP) is presented in this paper. By timed automata, the paper specifies the model of SNPP so as to analyze its properties and assure the reliable implementation of the payment system.

Key words: e-commerce, payment protocol, timed automata, formalmodel

CLC Number: