A comprehensive approach to the automatic refinement and verification of access control policies

Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano. A comprehensive approach to the automatic refinement and verification of access control policies. Computers & Security, 80:186-199, 2019. [doi]

Abstract

Abstract is missing.