Reasoning about safety properties in a JVM-like environment

DOI10.1016/J.SCICO.2007.04.001zbMATH Open1122.68036OpenAlexW1983109102MaRDI QIDQ997235FDOQ997235

Authors: Philip W. L. Fong 

Publication date: 23 July 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2007.04.001

Recommendations

• A static type system for JVM access control
• A type system for the Java bytecode language and verifier
• scientific article; zbMATH DE number 1796120
• Formalization and analysis of class loading in Java
• scientific article; zbMATH DE number 1693037

zbMATH Keywords

confinementformal verificationaccess controlsafetyJava virtual machinestack invarianttype-based protection mechanism

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (2)

• A safe variant of the unsafe integer arithmetic of Java™
• Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions

This page was built for publication: Reasoning about safety properties in a JVM-like environment

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