العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolMONDEX
'Mondex' is a smart card electronic cash system which was developed originally by National Westminster Bank 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 UK 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.
★ http://www.mondex.org a website dedicated to saving the history of the Mondex program and images
★ Dexit
★ Octopus card
★ 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.
★ Mondex website
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.
| Contents |
| See also |
| References |
| External links |
See also
★ http://www.mondex.org a website dedicated to saving the history of the Mondex program and images
★ Dexit
★ Octopus card
References
★ 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.
External links
★ Mondex website
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
