Typing for Conflict Detection in Access Control Policies. - Kamel Adi; Yacine Bouzida; Ikhlass Hattak; Luigi Logrippo; Serge Mankovski (MCETECH, 2009)