Modeling and Model Checking Mobile Phone Payment Systems


Recently a technique for transacting goods using GSM mobile phones has become very popular. We present a formal model of these novel transactions using a views based modeling technique. We show how to express two safety properties namely goods and money atomicity within this model using a sub-logic of CTL. By automatically generating a labelled transition… (More)
DOI: 10.1007/978-3-540-39979-7_7

6 Figures and Tables


  • Presentations referencing similar topics