Runtime enforcement ensures the respect of a user-specified security policy by a program
by providing a valid replacement for any misbehaving sequence of events that may occur …

The problem of enforcing a security policy has been particularly well studied over the last
decade, following Schneider's seminal work on security automata. We first present in this …

Runtime enforcement seeks to provide a valid replacement to any misbehaving sequence of
events of a running system so that the correct sequence complies with a user-defined …

When monitoring a trace using an LTL specification, the verdict returned by the monitor can
often be insufficiently informative to be actionable. In this paper, we propose a …

A security enforcement mechanism runs in parallel with a system to check and modify its run-
time behaviour, so that it satisfies some security policy. For each policy, several enforcement …

This paper presents a formal framework for run-time enforcement mechanisms, or monitors,
based on probabilistic input/output automata [Task-structured probabilistic I/O automata …

Runtime Verification (RV) or Runtime Monitoring has gained increasing interest in recent
years [99]. It can be defined as the process of observing the behavior of a running system …

Security analysis and design are key activities for the protection of critical systems and
infrastructures. Traditional approaches consist first in applying a qualitative threat …

This paper generalizes traditional models of security policies, from specifications of whether
programs are secure, to specifications of how secure programs are. This is a generalization …

Reducing the performance overhead of run-time monitoring is crucial for making it affordable
to enforce more complex requirements than simple security or safety properties …