Title :
The formal model of a simple network payment protocol
Author :
Zhang, Zeli ; Ma, Huadong
Author_Institution :
Coll. of Comput. Sci. & Technol., Beijing Univ. of Posts & Telecommun., China
Abstract :
Formal modelling is an efficient way of designing a highly confidential computer system. So it is meaningful to formally analyze e-commerce systems. By timed automata, this article specifies the SNPP, an e-commerce online payment protocol, and analyzes the properties of its implementation model. This work is helpful for designing an e-commerce protocol and a trustworthy e-commerce system.
Keywords :
Internet; automata theory; data privacy; electronic commerce; protocols; security of data; Internet; SNPP; World Wide Web; confidential computer system design; e-commerce systems; formal modelling; implementation model; online payment protocol; simple network payment protocol; timed automata; Automata; Clocks; Computer science; Educational institutions; Electronic commerce; Protection; Protocols; Real time systems; Telecommunication computing; Web sites;
Conference_Titel :
Info-tech and Info-net, 2001. Proceedings. ICII 2001 - Beijing. 2001 International Conferences on
Print_ISBN :
0-7803-7010-4
DOI :
10.1109/ICII.2001.983022
