1. A comprehensive approach to the automatic refinement and verification of access control policies. Issue 80 (January 2019) Authors: Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano Journal: Computers & security Issue: Issue 80(2019) Page Start: 186 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗