A comprehensive approach to the automatic refinement and verification of access control policies. Cheminod, M., Durante, L., Seno, L., Valenza, F., & Valenzano, A. Computers & Security, 2018.
doi  bibtex   
@article{CHEMINOD2018,
title = "A comprehensive approach to the automatic refinement and verification of access control policies",
journal = "Computers & Security",
year = "2018",
issn = "0167-4048",
doi = "https://doi.org/10.1016/j.cose.2018.09.013",
author = "Manuel Cheminod and Luca Durante and Lucia Seno and Fulvio Valenza and Adriano Valenzano",
}

Downloads: 0