8 papers:
FM-2008-GrandyBSSR #protocol #security #verification- Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code (HG, MB, KS, GS, WR), pp. 165–180.
IFM-2007-KongOF #algebra #analysis #formal method- Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System (WK, KO, KF), pp. 393–412.
HCI-AS-2007-Kilic #problem #user interface- “My Money in E-Purse” Searching Problems in Self Service User Interface (EK), pp. 58–66.
- FM-2006-SchellhornGHR #challenge #proving
- The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (GS, HG, DH, WR), pp. 16–31.
- FM-2005-BanachPJS #finite #sequence
- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
- FME-2002-CatanoH #java #specification #static analysis #using
- Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
ASE-2001-JurjensW #protocol #testing- Formally Testing Fail-Safety of Electronic Purse Protocols (JJ, GW), pp. 408–411.
ML-1991-WisniewskiM #data-driven- Is it a Pocket or a Purse? Tighly Coupled Theory and Data Driven Learing (EJW, DLM), pp. 564–568.
