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

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)

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

Cites work

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

Cited in

(9)

• 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
• Predictive runtime enforcement
• On runtime enforcement via suppressions
• Real-time policy enforcement with metric first-order temporal logic
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Runtime enforcement of hyperproperties
• Compositional runtime enforcement revisited

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)