Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol (2006)

Cached

Download Links

by Dominik Haneberg , Gerhard Schellhorn , Holger Grandy , Wolfgang Reif
Venue:UNIVERSITY OF AUGSBURG
Citations:10 - 5 self