Expressive Policy Analysis with Enhanced System Dynamicity
Presenter
Jorge Lobo, IBM
Time
Session IV - 3:45am - 5:00pm
Abstract
Policy specification languages should include an analysis framework, which should at the least be (i) expressive, (ii) efficient, (iii) take account of obligations and authorizations, (iv) include a dynamic system model, and (v) give useful diagnostic information. We present a logical policy analysis framework which has the satisfaction of these requirements at its heart, showing how many significant policy-related properties can be analyzed, and give details of the existent implementation.