Mondex
Mondex is a smart card electronic cash system, implemented as a Stored-value card. Conceived by Tim Jones and Graham Higgins of the National Westminster Bank (RBS Group) in the United Kingdom. The system was initially developed between 1990 and 1993, with internal trials being carried out by approximately 6,000 London-based National Westminster staff from 1992. The system was publicly unveiled in the December of 1993.[1] Initial public trials of the payment system were carried out from July 1995, by the newly incorporated Mondex International, in Swindon, UK. The public phase had required the development and manufacture of numerous merchant devices and smart cards, with BT, the National Westminster and Midland (HSBC) Banks sponsoring and installing retail terminals at the car parks, payphones, buses and 700 of the merchants in the town, and mondex cards to the residents. The system was subsequently sold to MasterCard International in 1996 (completed February 1997). 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.[2] 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.[3][4]
Contents
Features
- Credit card sized
- Stores, holds and issues values (currency)
- Multiple virtual wallets, denominated in different currencies. (up to 5)
- Wallets must be pre-loaded with currency.
- Merchant terminals can debit and credit a wallet in a given currency.
- Card-to-card transfers
- Remote transfers of funds via an enabled mobile phone (US6206283 B1)
- Cards retain a transaction list (amount, times and identifier of the terminal)
- Cards can be programmed to perform secondary functions, such as building access.
- ITSEC level E6 certified.
See also
References
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ http://www.efc.ca/pages/media/globe.01nov98.html
- ↑ 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.
External links
- Mondex.org website dedicated to saving the history of the Mondex card program
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This bank, insurance, or other financial services corporation article is a stub. You can help Wikipedia by expanding it. |
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This business software article is a stub. You can help Wikipedia by expanding it. |
