Mondex

Mondex
Mondex's logo.

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.[1][2]

References

  1. ^ 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.
  2. ^ 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

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • MONDEX INTERNATIONAL — Mondex Internl – платежная система, разработанная банком National Westminster Bank, NatWest (Великобритания). Принадлежит ассоциации МasterCard International (51% капитала) и 28 организациям, включая банки Великобритании, США, Австралии, Канады и …   Финансово-кредитный энциклопедический словарь

  • Mondex —    An electronic card strategy that seeks to replace current credit cards with a smart card that could also be used for Internet cash transfers …   IT glossary of terms, acronyms and abbreviations

  • Электронные деньги — (Electronic money) Электронные деньги это денежные обязательства эмитента в электронном виде Все, что нужно знать об электронных деньгах история и развитие электронных денег, перевод, обмен и вывод электронных денег в различных платежных системах …   Энциклопедия инвестора

  • Tarjeta Octopus — Máquina para recargar la tarjeta. La Tarjeta Octopus (八達通 en chino tradicional) es una tarjeta recargable, con procesador incorporado, que no necesita ponerse en contacto para ser utilizada en sistemas de pagos electrónicos en Hong Kong.… …   Wikipedia Español

  • Виды и классификация электронных денег — Электронные деньги  это платёжное средство, существующее исключительно в электронном виде, то есть в виде записей в специализированных электронных системах. Как правило, операции происходят с использованием Интернета, но есть возможность… …   Википедия

  • List of defunct United States automobile manufacturers — Below is a list of defunct United States automobile manufacturers from the 1800s to the present.A *ABC (1906 1910) *ABC (1922) *Abbott Detroit (1909 1916; Abbott 1917 1918) [Abbotts were built in Cleveland. Clymer, Floyd. Treasury of Early… …   Wikipedia

  • Smart card — This article is regarding smart cards that use electrical connectors to transmit data. For smart cards that use radio see contactless smart card Contact type smart cards may have many different contact pad layouts, such as these SIMs A smart card …   Wikipedia

  • Visa Cash — is a smart card electronic cash system owned by VISA. Trialled in various locations Worldwide (including Leeds, UK in 1997), the system works via a chip embedded in a bank card, and looks similar to the so called Chip and PIN cards issued, among… …   Wikipedia

  • Le Diable Et Les Dix Commandements — Les Dix Commandements vus par Gustave Doré Titre original Le Diable et les Dix Commandements Réalisation …   Wikipédia en Français

  • Le Diable et les Dix Commandements — Les Dix Commandements vus par Gustave Doré Données clés Titre original …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”