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 - 2025/05/01 ER -