Expressive policy analysis with enhanced system dynamicity | Zendy

Robert Craven | Zendy; Jorge Lobo | Zendy; Jiefei Ma | Zendy; Alessandra Russo | Zendy; Emil Lupu | Zendy; Arosha K. Bandara | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Expressive policy analysis with enhanced system dynamicity

Author(s) -

Robert Craven,

Jorge Lobo,

Jiefei Ma,

Alessandra Russo,

Emil Lupu,

Arosha K. Bandara

Publication year - 2009

Publication title -

citeseer x (the pennsylvania state university)

Language(s) - English

Resource type - Conference proceedings

DOI - 10.1145/1533057.1533091

Subject(s) - authorization , computer science , policy analysis , systems analysis , software engineering , theoretical computer science , programming language , risk analysis (engineering) , computer security , political science , business , public administration

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research