An operational semantics of Java 2 access control (2000)

by Günter Karjoth
Venue:In The Computer Security Foundations Workshop