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]

Download (426Kb) | Preview


    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

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...