@inproceedings{DietlMuellerPoetzsch-Heffter04, author = {Dietl, W. and M\"{u}ller, P. and Poetzsch-Heffter, A.}, title = {A Type System for Checking Applet Isolation in {J}ava {C}ard}, booktitle = {Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS)}, year = {2004}, pages = {129--150}, editor = {G. Barthe and L. Burdy and M. Huisman and J.-L. Lanet and T. Muntean}, volume = {3362}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, urltopdf = {http://people.inf.ethz.ch/lehnerh/pm/publications/getpdf.php?bibname=Own&id=DietlMuellerPoetzsch-Heffter04.pdf} }