Languages for Policy Formulation and Enforcement

As part of the GSS “Languages” workshop, Piero Bonatti from University of Naples “Federico II” will talk about Languages for Policy Formulation and Enforcement.

Abstract Policies govern and constrain a system’s behavior, and as such specify mappings from complex situation descriptions to decisions (or at least sets of options to support human decision making). The perfect languages for expressing such mappings should enjoy a number of features, including: clarity and conciseness, explainability, formal verifiability, and the ability of adapting to an enormous number of possible event combinations. The same requirements arise in the restricted domain of security policies. In this talk, the experience gathered in this field will be reported with the purpose of identifying the most effective languages for policy formulation.

Patrik Jansson

PS. The rest of the workshop programme.

Leave a Reply

Your email address will not be published. Required fields are marked *