Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.

Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif

Browse the full FM paper archive.