TY  - JOUR

T1  - The certification of the Mondex electronic purse to ITSEC Level E6

JO  - Formal Aspects of Computing

PY  - 2008/01/01

AU  - Woodcock J

AU  - Stepney S

AU  - Cooper D

AU  - Clark J

AU  - Jacob J

ED  - 

DO  - DOI: 10.1007/s00165-007-0060-5

PB  - Springer Science and Business Media LLC

VL  - 20

IS  - 1

SP  - 5

EP  - 19

Y2  - 2024/12/22

ER  -