USP Electronic Research Repository

Modeling and verification for the server-side Netpay protocol

Chaudhary, Kaylash C. and Fehnker, Ansgar and Dai, Xiaoling (2014) Modeling and verification for the server-side Netpay protocol. [Conference Proceedings]

Full text not available from this repository.


Many virtual payment systems are available on the world wide web for micropayment. Correctness is important for these payment systems as it deals with money. One such payment system is Netpay. This paper examines the server-side Netpay protocol and provides its formalization as an interface automata model to prove three properties which are double spending, validity of an ecoin location and the absence of the deadlock. We will prove that the protocol is executing according to its description based on the assumption that the customers and vendors are cooperative.

Item Type: Conference Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science, Technology and Environment (FSTE) > School of Computing, Information and Mathematical Sciences
Depositing User: Kaylash Chaudhary
Date Deposited: 30 Mar 2015 04:30
Last Modified: 11 Jul 2016 02:53

Actions (login required)

View Item View Item