TY  - JOUR

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

JO  - Formal Aspects of Computing

UR  - https://doi.org/10.1007/s00165-007-0060-5

PY  - 2007/12/12

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  - Association for Computing Machinery (ACM)

VL  - 20

IS  - 1

SP  - 5

EP  - 19

Y2  - 2025/11/04

ER  -