Lambda-RBAC: Programming with Role-Based Access Control

Radha Jagadeesan, Alan Jeffrey, Corin Pitcher +1

We study mechanisms that permit program components to express role constraints on clients, focusing on programmatic security mechanisms, which permit access controls to be expresse…