A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies

Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi. A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. IEEE Trans. Software Eng., 45(1):2-33, 2019. [doi]

Authors

Andrea Margheri

This author has not been identified. Look up 'Andrea Margheri' in Google

Massimiliano Masi

This author has not been identified. Look up 'Massimiliano Masi' in Google

Rosario Pugliese

This author has not been identified. Look up 'Rosario Pugliese' in Google

Francesco Tiezzi

This author has not been identified. Look up 'Francesco Tiezzi' in Google