Mondex
Mondex is a smart card electronic cash system which was originally developed by National Westminster Bank in the United Kingdom and subsequently sold to MasterCard International. Mondex launched in a number of markets during the 1990s, expanding from an original trial in Swindon, UK to Hong Kong, Guelph, and New York [1]. It was also trialled on several British university campuses from the late 1990s, including the University of Edinburgh, University of Exeter (between 1997 and 2001), University of York, University of Nottingham, Aston University and Sheffield Hallam University.
The Z notation was used to prove security properties about Mondex, allowing it to achieve ITSEC level E6, ITSEC's highest granted security-level classification.
Mondex was advertised in Exeter with the promotional night "Mondex Madness" which over time became adopted by The Mob football team who would regularly enjoy "Mike's Mondex Madness" drinking nights. Sadly after the bulk of the team graduated in the summer of 1998, the nights went the way of the actual Mondex card (without the purchase by Mastercard) and are now only revived once every 6-12 months
References [edit]
- ^ Susan Stepney, David Cooper, and Jim Woodcock, An Electronic Purse: Specification, Refinement, and Proof. Technical Monograph PRG-126, Programming Research Group, Oxford University, UK, 2000.
- ^ Jim Woodcock, Susan Stepney, David Cooper, John Clark, and Jeremy Jacob, The certification of the Mondex electronic purse to ITSEC Level E6, Formal Aspects of Computing, Volume 20, Number 1, pages 5–19, January 2008.
See also [edit]
External links [edit]
- Mondex.org website dedicated to saving the history of the Mondex card program
 |
This bank, insurance, or other financial services corporation article is a stub. You can help Wikipedia by expanding it. |
 |
This business software article is a stub. You can help Wikipedia by expanding it. |
