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.

Authors

Mariela Pavlova

This author has not been identified. Look up 'Mariela Pavlova' in Google

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

Lilian Burdy

This author has not been identified. Look up 'Lilian Burdy' in Google

Marieke Huisman

This author has not been identified. Look up 'Marieke Huisman' in Google

Jean-Louis Lanet

This author has not been identified. Look up 'Jean-Louis Lanet' in Google