A Meta-model of Access Control in a Fibred Security Language

Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese. A Meta-model of Access Control in a Fibred Security Language. Studia Logica, 92(3):437-477, 2009. [doi]

@article{BarkerBGG09,
  title = {A Meta-model of Access Control in a Fibred Security Language},
  author = {Steve Barker and Guido Boella and Dov M. Gabbay and Valerio Genovese},
  year = {2009},
  doi = {10.1007/s11225-009-9203-4},
  url = {http://dx.doi.org/10.1007/s11225-009-9203-4},
  tags = {meta-model, modeling language, language modeling, security, Meta-Environment, access control, meta-objects},
  researchr = {https://researchr.org/publication/BarkerBGG09},
  cites = {0},
  citedby = {0},
  journal = {Studia Logica},
  volume = {92},
  number = {3},
  pages = {437-477},
}