Enforcing High-Level Security Properties for Applets

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet. Enforcing High-Level Security Properties for Applets. In Jean-Jacques Quisquater, Pierre Paradinas, Yves Deswarte, Anas Abou El Kalam, editors, Smart Card Research and Advanced Applications VI, IFIP 18th World Computer Congress, TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS), 22-27 August 2004, Toulouse, France. pages 1-16, Kluwer, 2004.

Abstract

Abstract is missing.