Security monitor inlining and certification for multithreaded Java

DOI10.1017/S0960129512000916MaRDI QIDQ5740632zbMATH OpenOpenAlexWikidataFDO

Authors Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129512000916

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2080048
• Run-time checking multi-threaded Java programs
• Permission-based separation logic for multithreaded Java programs
• Verifying a Compiler for Java Threads

Cites work

• A type system for expressive security policies
• ConSpec - A formal language for policy specification
• Java bytecode verification: Algorithms and formalizations
• Matching in security-by-contract for mobile code
• Provably correct runtime monitoring
• Reduction

Cited in

(5)

• Type-safe method inlining
• Provably correct runtime monitoring
• scientific article; zbMATH DE number 2089398 (Why is no real title available?)
• Model-checking in-lined reference monitors
• Program specialization for execution monitoring

This page was built for publication: Security monitor inlining and certification for multithreaded Java

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