Mondex
Encyclopedia : M : MO : MON : Mondex
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 and New York. It was also used trialled on several UK univerity campuses from the late 1990s, including the University of Exeter (between 1997 and 2001), University of York, University of Nottingham and Aston 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.
See also
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
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.