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]

@inproceedings{AdiBHLM09,
  title = {Typing for Conflict Detection in Access Control Policies},
  author = {Kamel Adi and Yacine Bouzida and Ikhlass Hattak and Luigi Logrippo and Serge Mankovskii},
  year = {2009},
  doi = {10.1007/978-3-642-01187-0_17},
  url = {http://dx.doi.org/10.1007/978-3-642-01187-0_17},
  tags = {access control policies, access control},
  researchr = {https://researchr.org/publication/AdiBHLM09},
  cites = {0},
  citedby = {0},
  pages = {212-226},
  booktitle = {E-Technologies: Innovation in an Open World, 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009. Proceedings},
  editor = {Gilbert Babin and Peter G. Kropf and Michael Weiss},
  volume = {26},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-642-01186-3},
}