A Static Type System for JVM Access Control

Tomoyuki Higuchi, Atsushi Ohori

研究成果: Paper査読

3 被引用数 (Scopus)

抄録

This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementation. In addition to verifying type consistency of a given JVM code, the type system statically verifies that 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, similarly to JAVA stack inspection. This result ensures that "well typed code cannot violate access policy." The paper then develops a type inference algorithm and shows that it is sound with respect to the type system and that it always infers a minimal set of access privileges. These results allows us to develop a static system for JVM access control without resorting to costly runtime stack inspection.

本文言語English
ページ227-237
ページ数11
DOI
出版ステータスPublished - 2003
外部発表はい
イベントEighth ACM SIGPLAN International Conference on Functional Programming - Uppsala, Sweden
継続期間: 2003 8月 252003 8月 29

Other

OtherEighth ACM SIGPLAN International Conference on Functional Programming
国/地域Sweden
CityUppsala
Period03/8/2503/8/29

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

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

引用スタイル