Volume 20,
Number 1,
January 2008
- Cliff B. Jones, Jim Woodcock:
Editorial.
1-3
Electronic Edition (link) BibTeX
- Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob:
The certification of the Mondex electronic purse to ITSEC Level E6.
5-19
Electronic Edition (link) BibTeX
- Tahina Ramananandro:
Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method.
21-39
Electronic Edition (link) BibTeX
- Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif:
Verification of Mondex electronic purses with KIV: from transactions to a security protocol.
41-59
Electronic Edition (link) BibTeX
- Michael Butler, Divakar Yadav:
An incremental development of the Mondex system in Event-B.
61-77
Electronic Edition (link) BibTeX
- Mirco Kuhlmann, Martin Gogolla:
Modeling and validating Mondex scenarios described in UML and OCL with USE.
79-100
Electronic Edition (link) BibTeX
- Chris George, Anne Elisabeth Haxthausen:
Specification, proof, and model checking of the Mondex electronic purse using RAISE.
101-116
Electronic Edition (link) BibTeX
- Leo Freitas, Jim Woodcock:
Mechanising Mondex with Z/Eves.
117-139
Electronic Edition (link) BibTeX
Volume 20,
Number 2,
March 2008
Volume 20,
Number 3,
May 2008
Copyright © Wed Jun 4 19:09:35 2008
by Michael Ley (ley@uni-trier.de)
