Analysis of Rewrite-Based Access Control Policies

Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira. Analysis of Rewrite-Based Access Control Policies. Electronic Notes in Theoretical Computer Science, 234:55-75, 2009. [doi]

@article{KirchnerKO09,
  title = {Analysis of Rewrite-Based Access Control Policies},
  author = {Claude Kirchner and Hélène Kirchner and Anderson Santana de Oliveira},
  year = {2009},
  doi = {10.1016/j.entcs.2009.02.072},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.02.072},
  tags = {rule-based, analysis, graph-rewriting, access control policies, access control, rewriting, role-based access control},
  researchr = {https://researchr.org/publication/KirchnerKO09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {234},
  pages = {55-75},
}