Security monitor inlining and certification for multithreaded Java

DOI10.1017/S0960129512000916zbMath1361.68027OpenAlexW1994707400WikidataQ115011476 ScholiaQ115011476MaRDI QIDQ5740632

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)

Cites Work

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

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