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.
2009
2009
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs
In previous work we solved the challenge to mechanically verify the Mondex challenge about the specification and refinement of an… 
2008
2008
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code
We present a verified JavaCard implementation for the Mondex Verification Challenge. This completes a series of verification… 
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… 
Highly Cited
2007
Highly Cited
2007
POSIX file store in Z/Eves: an experiment in the verified software repository
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
Engineering and theoretical underpinnings of retrenchment
2007
2007
Verifying the Mondex Case Study
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a… 
2007
2007
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
Mondex is a payment system that utilizes smart cards as electronic purses for financial transactions. This paper first reports on… 
2006
2006
Z/Eves and the Mondex Electronic Purse
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z… 
1997
1997
Mudra: an electronic payment scheme for networks
Revenue collection services are deemed essential for attracting quality services on the networks. Generally these collections… 
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)