Enforcing High-Level Security Properties for Applets (2004)

by M Pavlova, G Barthe, L Burdy, M Huisman, J-L Lanet
Venue:Proc. Sixth Smart Card Research and Advanced Application IFIP Conf., J.-J. Quisquater, P. Paradinas, Y. Deswarte, and A.A.E. Kalam,eds