Reasoning about safety properties in a JVM-like environment

DOI10.1016/J.SCICO.2007.04.001MaRDI QIDQ997235zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

confinementformal verificationaccess controlsafetyJava virtual machinestack invarianttype-based protection mechanism

Mathematics Subject Classification ID

Theory of operating systems (68N25)

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

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)