Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely. Lambda-RBAC: Programming with Role-Based Access Control. Logical Methods in Computer Science, 4(1), 2008. [doi]
@article{JagadeesanJPR08,
title = {Lambda-RBAC: Programming with Role-Based Access Control},
author = {Radha Jagadeesan and Alan Jeffrey and Corin Pitcher and James Riely},
year = {2008},
doi = {10.2168/LMCS-4(1:2)2008},
url = {http://dx.doi.org/10.2168/LMCS-4(1:2)2008},
tags = {rule-based, programming, access control, role-based access control},
researchr = {https://researchr.org/publication/JagadeesanJPR08},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {4},
number = {1},
}