Typing for Conflict Detection in Access Control Policies

Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovskii. Typing for Conflict Detection in Access Control Policies. In Gilbert Babin, Peter G. Kropf, Michael Weiss, editors, E-Technologies: Innovation in an Open World, 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009. Proceedings. Volume 26 of Lecture Notes in Business Information Processing, pages 212-226, Springer, 2009. [doi]

Abstract

Abstract is missing.