Electronic purse applet certification: extended abstract (2000)

by P Bieber, J Cazin, V Wiels, G Zanon, P Girard, J Lanet
Venue:Proceedings of the workshop on secure architectures and information flow, volume 32 of Elect. Notes in Theor. Comp. Sci