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… 
2009
2009
Coarse Grained Retrenchment and the Mondex Denial of Service Attacks
  • R. Banach
  • Third IEEE International Symposium on Theoretical…
  • 2009
  • Corpus ID: 10990619
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an… 
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
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… 
2000
2000
Implementing security policies using the Safe Areas of Computation approach
The World Wide Web is playing a major role in reducing business costs and in providing convenience to users. Digital libraries… 
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)