Said Daoudagh, Francesca Lonetti, Eda Marchetti. A Framework for the Validation of Access Control Systems. In Andrea Saracino, Paolo Mori, editors, Emerging Technologies for Authorization and Authentication - Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings. Volume 11967 of Lecture Notes in Computer Science, pages 35-51, Springer, 2019. [doi]
Abstract is missing.