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.
@inproceedings{PavlovaBBHL04,
title = {Enforcing High-Level Security Properties for Applets},
author = {Mariela Pavlova and Gilles Barthe and Lilian Burdy and Marieke Huisman and Jean-Louis Lanet},
year = {2004},
tags = {security},
researchr = {https://researchr.org/publication/PavlovaBBHL04},
cites = {0},
citedby = {0},
pages = {1-16},
booktitle = {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},
editor = {Jean-Jacques Quisquater and Pierre Paradinas and Yves Deswarte and Anas Abou El Kalam},
publisher = {Kluwer},
isbn = {1-4020-8146-4},
}