A formal basis for the design and analysis of firewall security policies

by Ahmed Khoumsi, Mohammed Erradi, Wadie Krombi
Published 2018-01-01

Formal Approach to Detect and Resolve Anomalies while Clustering ABAC Policies

by Maryem Ait El Hadj, Ahmed Khoumsi, Yahya Benkaouz, Mohammed Erradi
Published 2018-12-01