An Institutional Action Language
Marina De V
Elakehal Tingting L
Fine-Grained Access Control via Policy-Carrying Data