Policy-based management of computer systems, computer networks and devices is a critical
technology especially for present and future systems characterized by large-scale systems …

Despite several research studies, the effective analysis of policy based systems remains a
significant challenge. Policy analysis should at least (i) be expressive (ii) take account of …

Pervasive systems comprise large collections of heterogeneous and mobile devices,
services and applications. A management infrastructure is required to govern the system …

Most prior research on policies has focused on correctness. While correctness is an
important issue, the adoption of policy-based computing may be limited if the resulting …

We are investigating computing platform-independent policy frameworks to specify, analyze,
and deploy security and networking policies. The goal is to provide easy to use mechanisms …

This paper traces the history of policy-based management and how it evolved from the first
security models dating back to the late 1960's until today's more elaborate frameworks …

Ubiquitous computing environments feature massively distributed systems containing a
large number of devices, services and applications that help end-users perform various …

Separating management policy from the automated managers which interpret the policy
facilitates the dynamic change of behavior of a distributed management system. This permits …

The automation of policy refinement, whilst promising great benefits for policy-based
management, has hitherto received relatively little treatment in the literature, with few …

In distributed computer systems, it is possible that the evaluation of an authorization policy
may suffer unexpected failures, perhaps because a sub-policy cannot be evaluated or a sub …