Expressive Policy Analysis with Laws of System Change
AuthorsRobert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Arosha Bandara, Seraphin Calo, Morris Sloman.
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 DateOctober, 2009
Publication TypeITA Conference paper
ITA AreaProject 4, Technical area 2
Download a copy of the paper hereacita09_0.pdf
Return to main page