Fehnker, Ansgar and Chaudhary, Kaylash C. (2012) Modeling and verification for the micropayment protocol netpay. [Conference Proceedings]
Preview |
PDF
Download (436kB) | Preview |
Official URL: http://www.waset.org/journals/waset/v72.php
Abstract
There are many virtual payment systems available to conduct micropayments. It is essential that the protocols satisfy the highest standards of correctness. This paper examines the Netpay Protocol [3], provide its formalization as automata model, and prove two important correctness properties, namely absence of deadlock and validity of an ecoin during the execution of the protocol. This paper assumes a cooperative customer and will prove that the protocol is executing according to its description.
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: | Ansgar Fehnker |
Date Deposited: | 01 May 2013 04:07 |
Last Modified: | 25 Jul 2016 02:24 |
URI: | https://repository.usp.ac.fj/id/eprint/5734 |
Actions (login required)
View Item |