A static type system for JVM access control

DOI10.1145/944705.944726zbMATH Open1315.68040OpenAlexW2066524998MaRDI QIDQ5261278FDOQ5261278

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

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

zbMATH Keywords

type systemaccess controltype inferenceJVMstack inspection

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• Controlling file access with types
• Reasoning about safety properties in a JVM-like environment
• Stack-based access control and secure information flow
• Title not available (Why is that?)
• Title not available (Why is that?)
• Java access protection through typing
• Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions
• Types and trace effects for object orientation
• A new type system for JVM lock primitives

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)