Verification techniques for policy based systems

File Description SizeFormat 
Verification Techniques for Policy based Systems.pdfFile embargoed until 01 January 1000074.09 kBAdobe PDF    Request a copy
Title: Verification techniques for policy based systems
Authors: Karafili, E
Pipes, S
Lupu, E
Item Type: Conference Paper
Abstract: Verification techniques are applied to policy based systems to ensure design correctness and to aid in the discovery of errors at an early stage of the development life cycle. A primary goal of policy verification is to evaluate the policy’s validity. Other analyses on policy based systems include the identification of conflicting policies and policy efficiency evalu- ation and improvement. In this work, we present a discussion and classification of recent research on verification techniques for policy based systems. We analyse several techniques and identify popular supporting verification tools. An evaluation of the benefits and drawbacks of the existing policy analyses is made. Some of the common identified problems were the significant need of computational power, the limitation of the techniques to particular policy model, which restrict their ex- tension to other policy models and the lack of efficient conflicts resolution methods. We use the evaluation results for discussing the further challenges and future research directions that will be faced by policy verification techniques. In particular, we discuss specific requirements concerning verification techniques for coalition policies systems and autonomous decision making.
Issue Date: 4-Aug-2017
Date of Acceptance: 20-Apr-2017
Publisher: IEEE
Copyright Statement: This paper is embargoed until publication.
Sponsor/Funder: Engineering & Physical Science Research Council (EPSRC)
Funder's Grant Number: EP/L022729/1
Conference Name: DAIS Workshop, 2017 IEEE SmartWorld Congress
Keywords: Verification techniques
Policy analysis
Generative polices
Policy refinement
Efficient analysis
Policy conflict resolution
Autonomous decision making
Publication Status: Accepted
Start Date: 2017-08-04
Finish Date: 2017-08-08
Conference Place: San Francisco, CA, USA
Embargo Date: publication subject to indefinite embargo
Appears in Collections:Faculty of Engineering

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx