Modeling and verification for the micropayment protocol netpay

Fehnker, Ansgar and Chaudhary, Kaylash C. (2012) Modeling and verification for the micropayment protocol netpay. [Conference Proceedings]

Preview

PDF Download (436kB) | Preview

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:	http://repository.usp.ac.fj/id/eprint/5734

UNSPECIFIED

Actions (login required)

View Item