Expressive Policy Analysis with Laws of System Change


Authors

Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Arosha Bandara, Seraphin Calo, Morris Sloman.

Abstract

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 obligations and authorizations, (iii) include a dynamic system model, and (iv) give useful diagnostic information. We present a logic-based policy analysis framework which satisfies these requirements, showing how many significant policy-related properties can be analysed, and we give details of a prototype implementation.

Publication Date

October, 2009

Venue

ACITA 2009

Published To

Conference


Publication Type

ITA Conference paper

ITA Area

Project 4, Technical area 2

Download a copy of the paper here

acita09_0.pdf
acita09_analysis_poster.ppt
acita09_analysis_poster.pdf
acita09_01.pdf

Return to main page