Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Mondex
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
===Security features=== Mondex cards included a locking mechanism - a PIN would be chosen and inserted to lock the card, and before operating the card again (to view the latest transactions or transfer funds) the cardholder had to insert his PIN and unlock it. The [[Z notation]] was used to prove security properties about Mondex, allowing it to achieve [[ITSEC]] level E6, ITSEC's highest granted security-level classification.<ref>Susan Stepney, David Cooper, and [[Jim Woodcock]], ''[http://www-users.cs.york.ac.uk/~susan/bib/ss/z/prg126.pdf An Electronic Purse: Specification, Refinement, and Proof]''.[http://web.comlab.ox.ac.uk/oucl/publications/monos/prg-126.html Technical Monograph PRG-126], [[Programming Research Group]], [[Oxford University]], UK, 2000.</ref><ref>[[Jim Woodcock]], Susan Stepney, David Cooper, John Clark, and Jeremy Jacob, [https://dx.doi.org/10.1007/s00165-007-0060-5 The certification of the Mondex electronic purse to ITSEC Level E6], ''[[Formal Aspects of Computing]]'', Volume 20, Number 1, pages 5β19, January 2008.</ref>
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)