Provably correct runtime monitoring

DOI10.1016/j.jlap.2008.12.002zbMath1192.68116OpenAlexW2022356878MaRDI QIDQ2390029

Mads Dam, Irem Aktug, Dilian Gurov

Publication date: 20 July 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2008.12.002

zbMATH Keywords

runtime monitoringproof-carrying codepolicy enforcementmonitor inlining

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (3)

Monitoring networks through multiparty session types ⋮ Automation of the construction of models of normal program behavior ⋮ Security monitor inlining and certification for multithreaded Java

Uses Software

• ConSpec
• Java-MOP
• Java-MaC
• J-LO
• PQL

Cites Work

• Unnamed Item
• Unnamed Item
• Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
• Java bytecode verification: Algorithms and formalizations
• Java-MaC: A run-time assurance approach for Java programs
• ConSpec - A formal language for policy specification
• Verifying temporal properties without temporal logic
• Tools and Algorithms for the Construction and Analysis of Systems
• Logic for Programming, Artificial Intelligence, and Reasoning
• Enforcing Non-safety Security Policies with Program Monitors

This page was built for publication: Provably correct runtime monitoring