A Critique of Security and Dynamic Loading in Java: A Formalisation (1999)

by G Bracha
Venue:6I& - . - D - B BA < 1 ' <&<NM