Mariela Pavlova Gilles Barthe Lilian Burdy Marieke Huisman Jean-Louis Lanet Enforcing High-Level Security Properties for Applets. 1-16 2004 conf/cardis/2004 CARDIS db/conf/cardis/cardis2004.html#PavlovaBBHL04