A survey on policy languages in network and security management

W Han, C Lei - Computer Networks, 2012 - Elsevier
Policy-driven management is gaining popularity today, mainly due to the ever-growing scale
and complexity of large networked systems. In these systems, policies are usually used to …

[PDF][PDF] Feature interaction: The security threat from within software systems

A Nhlabatsi, R Laney, B Nuseibeh - Progress in Informatics, 2008 - academia.edu
Security engineering is about protecting assets from harm. The feature interaction problem
occurs when the composition of features leads to undesirable system behaviours. Usually …

Policy conflicts in home automation

C Maternaghan, KJ Turner - Computer Networks, 2013 - Elsevier
The nature of home automation is introduced. It is argued that end users should be able to
define how the home system reacts to changing circumstances. Policies are employed as …

Detecting policy conflicts by model checking UML state machines

MH Ter Beek, S Gnesi, C Montangero… - Feature Interactions in …, 2009 - ebooks.iospress.nl
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies
are created in great numbers by different actors, ranging from system administrators to lay …

Flexible management of smart homes

KJ Turner - Journal of Ambient Intelligence and Smart …, 2011 - content.iospress.com
An approach is presented for flexible management of smart homes, covering both home
automation and telecare. The aim is to allow end users to manage their homes without …

Conflict detection in call control using first-order logic model checking

AF Layouni, L Logrippo, KJ Turner - Proceedings of the …, 2008 - books.google.com
Feature interaction detection methods, whether online or offline, depend on previous
knowledge of conflicts between the actions executed by the features. This knowledge is …

Goals and policies for sensor network management

GA Campbell, KJ Turner - 2008 Second International …, 2008 - ieeexplore.ieee.org
This paper describes a goal-directed, policy-based approach to managing sensor networks
in the context of a wind farm. It describes the use of policies to enable end-users to detect …

Service licensing: conceptualization, formalization, and expression

GR Gangadharan, V D'Andrea - Service Oriented Computing and …, 2011 - Springer
Abstract Service licensing enables a broader usage of services and a means for designing
business strategies and relationships. A service license describes the terms and conditions …

Policy conflict filtering for call control

GA Campbell, KJ Turner - Proc. 9th Int. Conf. on Feature …, 2008 - books.google.com
Policies exhibit conflicts much as features exhibit interaction. Since policies are defined by
end users, the combinatorial problems involved in detecting conflicts are substantially worse …

Policy conflicts in home care systems

F Wang, KJ Turner - ICFI 2007-Ninth International Conference on …, 2008 - storre.stir.ac.uk
Technology to support care at home is a promising alternative to traditional approaches.
However, home care systems present significant technical challenges. For example, it is …