In recent years, Cloud Computing has become an emerging technology that gains wide
influence on IT systems. Cloud Computing is a distributed computing model for enabling …

Wireless links are often asymmetric due to heterogeneity in the transmission power of
devices, non-uniform environmental noise, and other signal propagation phenomenon …

The current theory of runtime enforcement is based on two properties for evaluating an
enforcement mechanism: soundness and transparency. Soundness defines that the output …

Usage control is concerned with what happens to data after access has been granted. In the
literature, usage control models have been defined on the grounds of events that, somehow …

Usage control is concerned with how data is used after access to it has been granted.
Respective enforcement mechanisms need to be implemented at different layers of …

Usage control policies specify restrictions on the handling of data after access has been
granted. We present the design and implementation of a framework for enforcing usage …

Compliance management is gaining increasing interest in inter-organizational service-
oriented systems, which are usually supported by integration platforms. Due to their …

Nowadays owners and users of software systems want their executions to be reliable and
secure. Runtime enforcement is a common mechanism for ensuring that system or program …

Interactions between services may be globally captured by choreographies. We introduce
BPEL gold supporting modeling interaction choreography models using BPEL. We show the …

Usage control is concerned with how data is used after access to it has been granted. In
existing usage control enforcement frameworks, policies are assumed to exist and the …