An operational semantics of Java 2 access control | IEEE Conference Publication | IEEE Xplore