Xavier Leroy François Rouaix Security Properties of Typed Applets. 147-182 1999 conf/ecoopw/1999secure Secure Internet Programming db/conf/ecoopw/secure99.html#LeroyR99