A static type system for JVM access control

Tomoyuki Higuchi, Atsushi Ohori

研究成果: Article査読

9 被引用数 (Scopus)


This article presents a static type system for the Java virtual machine (JVM) code that enforces an access control mechanism similar to that found in a Java implementation. In addition to verifying type consistency of a given JVM code, the type system statically verifies whether the code accesses only those resources that are granted by the prescribed access policy. The type system is proved to be sound with respect to an operational semantics that enforces access control dynamically, similar to Java stack inspection. This result ensures that well-typed code cannot violate access policy. The authors then develop a type inference algorithm and show that it is sound with respect to the type system. These results allow us to develop a static system for JVM access control, without resorting to costly runtime stack inspection.

ジャーナルACM Transactions on Programming Languages and Systems
出版ステータスPublished - 2007 1月 1

ASJC Scopus subject areas

  • ソフトウェア


「A static type system for JVM access control」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。