On bidirectional runtime enforcement

DOI10.1007/978-3-030-78089-0_1zbMATH Open1489.68135OpenAlexW3169320146WikidataQ131419172 ScholiaQ131419172MaRDI QIDQ2117010FDOQ2117010

Authors: Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir 

Publication date: 21 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-78089-0_1

Recommendations

• On runtime enforcement via suppressions
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Compositional runtime enforcement revisited
• Runtime enforcement of hyperproperties
• Predictive runtime enforcement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Elements of automata theory. Translated from the French by Reuben Thomas
• A calculus of mobile processes. I
• Reactive Systems
• Streaming transducers for algorithmic verification of single-pass list-processing programs
• Results on the propositional \(\mu\)-calculus
• Monitoring networks through multiparty session types
• Introduction to bisimulation and coinduction
• Proof systems for message-passing process algebras
• Which security policies are enforceable by runtime monitors? A survey
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Monitors and blame assignment for higher-order session types
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• A modal logic for message passing processes
• Shield synthesis
• Title not available (Why is that?)
• A framework for parameterized monitorability
• Monitorability for the Hennessy-Milner logic with recursion
• Consistently-detecting monitors
• Title not available (Why is that?)
• A theory of monitors
• Determinizing monitors for HML with recursion
• Title not available (Why is that?)

Cited In (6)

• Runtime enforcement with reordering, healing, and suppression
• Compositional runtime enforcement revisited
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• On first-order runtime enforcement of branching-time properties
• Real-time policy enforcement with metric first-order temporal logic

This page was built for publication: On bidirectional runtime enforcement

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