Enforcing High-Level Security Properties for Applets (2003)

by Mariela Pavlova , Gilles Barthe , Lilian Burdy , Marieke Huisman , Jean-louis Lanet
Venue:IN CARDIS 2004
Citations:16 - 7 self