Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Digital walletITSECJim WoodcockMintChip

Broader (2)

Formal methodsZ notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The HR3 discovery system: design decisions and implementation details
. Automated Theory Formation is a hybrid AI technique which has been implemented in two scientific discovery systems, HR1 and HR2… 
2008
2008
On the Refinement of Atomic Actions
2008
2008
A Formal Specification of Mondex Using SAM
This paper presents a formal specification of Mondex, an electronic purse, using SAM. Mondex is the first pilot project for the… 
2007
2007
Verifying the Mondex Case Study The KeY Approach
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a… 
Review
2007
Review
2007
Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also… 
Review
2007
Review
2007
The certification of the Mondex electronic purse to ITSEC Level E6
Abstract.Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assurance for secure… 
2002
2002
Z Styles for Security Properties and Modern User Interfaces
This paper describes two new styles for using Z. The first style, based on earlier work for the UK Government, is suitable for… 
2001
2001
SPARK — a state-of-the-practice approach to the Common Criteria implementation requirements
The Common Criteria (CC) require the use of programming languages whose statements have an "unambiguous meaning." This… 
1998
1998
Customer and Merchant Acceptance of Electronic Cash: Evidence from Mondex in Hong Kong
Since the beginning of the 1990s, more than fifty electronic-cash (e-cash) pilot trials have been conducted around the globe… 
1997
1997
The Future of Digital Cash on the Internet
Micro-payment systems have been touted as the revolutionary agents of the Internet. We are frequently challenged to imagine a day… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)