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. (Request a copy)Abstract
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 |
| URI: | https://repository.usp.ac.fj/id/eprint/8163 |
Actions (login required)
 |
View Item |