A static type system for JVM access control

DOI10.1145/944705.944726MaRDI QIDQ5261278zbMATH OpenOpenAlexFDO

Authors Tomoyuki Higuchi, Atsushi Ohori

Publication date 2 July 2015

Published in Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/944705.944726

zbMATH Keywords

access controlJVMstack inspectiontype inferencetype system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1693037
• Stack-based access control and secure information flow
• A type system for the Java bytecode language and verifier
• Java access protection through typing
• A simple semantics and static analysis for stack inspection

Cited in

(11)

• Types and trace effects for object orientation
• Controlling file access with types
• scientific article; zbMATH DE number 1693037 (Why is no real title available?)
• Java access protection through typing
• Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions
• scientific article; zbMATH DE number 1500476 (Why is no real title available?)
• Stack-based access control and secure information flow
• scientific article; zbMATH DE number 1931734 (Why is no real title available?)
• scientific article; zbMATH DE number 1863561 (Why is no real title available?)
• A new type system for JVM lock primitives
• Reasoning about safety properties in a JVM-like environment

This page was built for publication: A static type system for JVM access control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261278)