Security and dynamic class loading in Java: A formalisation (1998)

by T Jensen, D Le Mtayer, T Thorn
Venue:In Proc. of the 1998 IEEE International Conference on Computer Languages