Radha Jagadeesan Alan Jeffrey Corin Pitcher James Riely Lambda-RBAC: Programming with Role-Based Access Control http://arxiv.org/abs/0712.1205 2007 CoRR abs/0712.1205 db/journals/corr/corr0712.html#abs-0712-1205 informal publication