USP Electronic Research Repository

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]

[img]
Preview
PDF
Download (426Kb) | 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 16:07
    Last Modified: 25 Jul 2016 14:24
    URI: http://repository.usp.ac.fj/id/eprint/5734
    UNSPECIFIED

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...