Runtime enforcement monitors: Composition, synthesis, and enforcement abilities

DOI10.1007/S10703-011-0114-4MaRDI QIDQ548696zbMATH OpenOpenAlexFDO

Authors Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier

Publication date 30 June 2011

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-011-0114-4

zbMATH Keywords

compositionmonitormonitor synthesisruntime enforcementsafety-progress classification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• Compositional runtime enforcement revisited
• On bidirectional runtime enforcement
• On runtime enforcement via suppressions
• Runtime enforcement of timed properties revisited
• Which security policies are enforceable by runtime monitors? A survey

Cites work

• A brief account of runtime verification
• Defining liveness
• Proving the Correctness of Multiprocess Programs

Cited in

(25)

• On bidirectional runtime enforcement
• Runtime enforcement of hyperproperties
• Runtime enforcement of timed properties using games
• A process calculus approach to detection and mitigation of PLC malware
• Provably correct runtime monitoring
• Predictive runtime enforcement
• Execution monitoring enforcement under memory-limitation constraints
• Safety enforcement via programmable strategies in Maude
• scientific article; zbMATH DE number 1962746 (Why is no real title available?)
• Optimal enforcement of (timed) properties with uncontrollable events
• Which security policies are enforceable by runtime monitors? A survey
• Runtime enforcement of timed properties revisited
• On runtime enforcement via suppressions
• Enforcing non-safety security policies with program monitors
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• Runtime enforcement with reordering, healing, and suppression
• On first-order runtime enforcement of branching-time properties
• Compositional runtime enforcement revisited
• Real-time policy enforcement with metric first-order temporal logic
• Bounded-memory runtime enforcement with probabilistic and performance analysis
• Decentralized LTL enforcement
• Runtime enforcement of CPS against signal temporal logic
• Gray-box runtime enforcement of hyperproperties
• Runtime enforcement with event reordering
• Enforcement and validation (at runtime) of various notions of opacity

Describes a project that uses

Uses Software

• Valgrind
• BCEL

This page was built for publication: Runtime enforcement monitors: Composition, synthesis, and enforcement abilities

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