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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1996-2015
0102019962015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
In [SGHR06] we have solved the challenge to mechanically verify the Mondex challenge about the specification and refinement of an… (More)
  • figure 1
Is this relevant?
2008
2008
This paper presents a formal specification of Mondex, an electronic purse, using SAM. Mondex is the first pilot project for the… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2007
2007
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2007
2007
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
2007
2007
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired… (More)
  • table 1
Is this relevant?
2007
2007
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Mondex is a payment system that utilizes smart cards as electronic purses for financial<lb>transactions. The paper first reports… (More)
Is this relevant?
2007
2007
The Mondex Case study is still the most substantial contribution to the Grand<lb>Challenge repository. It has been the target of… (More)
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 4.1
  • table 6.1
Is this relevant?
2006
2006
The Mondex case study about the specification and refinement of an electronic purse as defined in [SCJ00] has recently been… (More)
  • figure 1
Is this relevant?
1996
1996
Electronic cash systems, such as Mondex, seek to re-engineer cash payments. While the use of cash imposes numerous invisible… (More)
  • figure 1
Is this relevant?