Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn. Security and Dynamic Class Loading in Java: A Formalization. In ICCL. pages 4-15, 1998. [doi]
@inproceedings{JensenMT98,
title = {Security and Dynamic Class Loading in Java: A Formalization},
author = {Thomas P. Jensen and Daniel Le Métayer and Tommy Thorn},
year = {1998},
url = {http://dlib.computer.org/conferen/iccl/8454/pdf/84540004.pdf},
tags = {Java, security},
researchr = {https://researchr.org/publication/JensenMT98},
cites = {0},
citedby = {0},
pages = {4-15},
booktitle = {ICCL},
}