A static type system for JVM access control

Tomoyuki Higuchi, Atsushi Ohori. A static type system for JVM access control. ACM Transactions on Programming Languages and Systems, 29(1):4, 2007. [doi]

Abstract

Abstract is missing.