Modeling and verification for the server-side Netpay protocol

Kaylash Chaudhary, Ansgar Fehnker, Xiaoling Dai

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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.

Original languageEnglish
Title of host publicationAsia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2014
PublisherIEEE
ISBN (Electronic)9781479919550
DOIs
Publication statusPublished - 5 Mar 2015
Externally publishedYes
EventAsia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2014 - Nadi, Fiji
Duration: 4 Nov 20145 Nov 2014

Conference

ConferenceAsia-Pacific World Congress on Computer Science and Engineering, APWC on CSE 2014
Abbreviated titleAPWC on CSE 2014
CountryFiji
CityNadi
Period4/11/145/11/14

Keywords

  • micropayment
  • Model
  • verification

Fingerprint

Dive into the research topics of 'Modeling and verification for the server-side Netpay protocol'. Together they form a unique fingerprint.

Cite this