This paper deals with runtime enforcement of untimed and timed properties with uncontrollable events. Runtime enforcement consists in modifying the executions of a running system to ensure their correctness with respect to a desired property. We introduce a framework that takes as input any regular (timed) property over an alphabet of events, with some of these events being uncontrollable. An u...

the legal texts of wto consist of about 60 agreements, annexes, decisions and understandings containing so many obligations which should be observed and enforced by member states. enforcement of these numereous obligations requires effective dispute settlement mechanisms to guarantee the proper function of the system. in wto two main mechanisms have been designed for this purpose. the first is ...

The use of security policy enforcement mechanisms has been a topic in recent literature. Particular focus has been on the class of policies that can be enforced by these mechanisms but not on the security policy guiding the execution of the monitoring mechanisms. It has been a challenge to enforce information confidentiality in a multi-level secure system since malicious users can exploit cover...

Incentive-based enforcement can be an effective mechanism for fostering cooperation in open distributed systems. The strength of such systems is the absence of a central controlling instance, but at the same time, they do depend upon (voluntary) regulation to achieve system goals, creating a potential “tragedy of the commons”. Many different mechanisms have been proposed, both in the multi-agen...

Runtime enforcement is a powerful technique to ensure that a program will respect a given set of properties. We extend previous work on this topic in several directions. Firstly, we propose a generic notion of enforcement monitors based on a memory device and finite sets of control states and enforcement operations. Moreover, we specify their enforcement abilities w.r.t. the general Safety-Prog...

Business regulations on enterprise applications cover both infrastructure and orchestration levels of the SOA environment. Thus, for a correct and efficient enforcement of such requirements, full integration among different enforcement middleware is necessary. Based on previous work [1], we make a comparison between enforcement capabilities at business and infrastructure level. Our contribution...