On bidirectional runtime enforcement

DOI10.1007/978-3-030-78089-0_1zbMath1489.68135OpenAlexW3169320146MaRDI QIDQ2117010

Adrian Francalanza, Ian Cassar, Anna Ingólfsdóttir, Luca Aceto

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

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

Related Items (3)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ On first-order runtime enforcement of branching-time properties ⋮ Real-time policy enforcement with metric first-order temporal logic

Cites Work

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

This page was built for publication: On bidirectional runtime enforcement