- Preview Available
- Scholarly Journal
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
Haneberg, Dominik; Schellhorn, Gerhard; Grandy, Holger; Reif, Wolfgang.
Formal Aspects of Computing; London Vol. 20, Iss. 1, (Jan 2008): 41-59.
DOI:10.1007/s00165-007-0057-0

This is a limited preview of the full PDF
Try and log in through your library or institution to see if they have access.