Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
From MaRDI portal
Publication:548696
DOI10.1007/s10703-011-0114-4zbMath1219.68089OpenAlexW2028720147MaRDI QIDQ548696
Yliès Falcone, Jean-Claude Fernandez, Jean-Luc Richier, Laurent Mounier
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
Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (12)
Runtime enforcement of hyperproperties ⋮ Optimal enforcement of (timed) properties with uncontrollable events ⋮ Predictive runtime enforcement ⋮ Runtime enforcement with reordering, healing, and suppression ⋮ On first-order runtime enforcement of branching-time properties ⋮ Enforcement and validation (at runtime) of various notions of opacity ⋮ Compositional runtime enforcement revisited ⋮ Real-time policy enforcement with metric first-order temporal logic ⋮ Runtime enforcement of timed properties using games ⋮ Unnamed Item ⋮ Runtime enforcement of timed properties revisited ⋮ A process calculus approach to detection and mitigation of PLC malware
Uses Software
Cites Work
This page was built for publication: Runtime enforcement monitors: Composition, synthesis, and enforcement abilities