@article{article, title = {{The certification of the Mondex electronic purse to ITSEC Level E6}}, publisher = {{Springer Science and Business Media LLC}}, url = {{}}, year = {{2008}}, month = {{1}}, author = {{Woodcock J and Stepney S and Cooper D and Clark J and Jacob J}}, doi = {{10.1007/s00165-007-0060-5}}, volume = {{20}}, journal = {{Formal Aspects of Computing}}, issue = {{1}}, pages = {{5-19}}, note = {{Accessed on 2024/12/22}}}