Geometric Interpretation of Policy Specification. - Cataldo Basile; Alberto Cappadonia; Antonio Lioy (POLICY, 2008)

A set-based model for security policy analysis and transformation. - Alberto Cappadonia (2011)

Network-Level Access Control Policy Analysis and Transformation. - Cataldo Basile; Alberto Cappadonia; Antonio Lioy (IEEE/ACM Trans. Netw., 2012)