We outline an approach to policy specification and analysis in which an information model is
used as the starting point for semi-automated generation of an integrated suite of languages …

We present a policy conflict analysis process that makes use of pre-defined semantic
models of an application to perform effective and efficient conflict analysis. The process is …

Policies are being increasingly used for automated system management and controlling the
behavior of complex systems. The use of policies allows administrators to modify system …

The KAoS policy management framework pioneered the use of semantically-rich ontological
representation and reasoning to specify, analyze, deconflict, and enforce policies [9, 10] …

The growing diffusion of portable devices enables users to benefit from anytime and
anywhere impromptu collaboration. Appropriate policy models that take into account the …

We describe a method for policy refinement. The refinement process involves stages of
decomposition, operationalization, deployment and re-refinement, and operates on policies …

This paper describes an approach for application specific conflict prevention based on
model-driven refinement of policies prior to deployment. Central to the approach is an …

Policies enable configuring services by declaratively specifying the (desired) behavior of
these services in various, specific circumstances. Different policy languages allow the …

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 …

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 …