Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
From MaRDI portal
Publication:5883741
DOI10.46298/lmcs-19(1:14)2023OpenAlexW4322742170MaRDI QIDQ5883741
Luca Aceto, Unnamed Author, Adrian Francalanza, Ian Cassar
Publication date: 22 March 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2201.03108v4
modal \(\mu\)-calculusmonitor synthesisproperty enforcementfirst-order safety propertiesruntime monitors
Related Items (1)
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
- Synthesising correct concurrent runtime monitors
- 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
- Computer says no: verdict explainability for runtime monitors using a local proof system
- A theory of monitors
- On bidirectional runtime enforcement
- Determinizing monitors for HML with recursion
- Monitorability for the Hennessy-Milner logic with recursion
- Survey on JavaScript security policies and their enforcement mechanisms in a web browser
- Monitors and blame assignment for higher-order session types
- Introduction to Bisimulation and Coinduction
- Consistently-detecting monitors
- Monitoring for Silent Actions
- Reactive Systems
- Streaming transducers for algorithmic verification of single-pass list-processing programs
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
- Enforcing Non-safety Security Policies with Program Monitors
This page was built for publication: Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
