Kamel Adi Yacine Bouzida Ikhlass Hattak Luigi Logrippo Serge Mankovskii Typing for Conflict Detection in Access Control Policies. 212-226 2009 MCETECH http://dx.doi.org/10.1007/978-3-642-01187-0_17 conf/mcetech/2009 db/conf/mcetech/mcetech2009.html#AdiBHLM09