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}, }