This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'03)
Using Event Calculus to Formalise Policy Specification and Analysis
Lake Como, Italy
June 04-June 06
ISBN: 0-7695-1933-4
Arosha K Bandara, Imperial College London
Emil C Lupu, Imperial College London
Alessandra Russo, Imperial College London
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issues of analysing specifications that combine authorisation and management policies; analysing policy specifications that contain constraints on the applicability of the policies; and performing a priori analysis of the specification that will both detect the presence of inconsistencies and explain the situations in which the conflict will occur.
This paper presents a method for transforming both policy and system behaviour specifications into a formal notation that is based on Event Calculus. Additionally it describes how this formalism can be used in conjunction with abductive reasoning techniques to perform a priori analysis of policy specifications for the various conflict types identified in the literature. Finally, it presents some initial thoughts on how this notation and analysis technique could be used to perform policy refinement.
Citation:
Arosha K Bandara, Emil C Lupu, Alessandra Russo, "Using Event Calculus to Formalise Policy Specification and Analysis," policy, pp.26, Fourth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.