An Institutional Action Language
Elakehal Tingting L
Julian Padget E
Fine-Grained Access Control via Policy-Carrying Data