<i>lambda</i>-RBAC: Programming with Role-Based Access Control.

Radha Jagadeesan Alan Jeffrey Corin Pitcher James Riely <i>lambda</i>-RBAC: Programming with Role-Based Access Control. 456-467 2006 conf/icalp/2006-2 ICALP (2) http://dx.doi.org/10.1007/11787006_39 db/conf/icalp/icalp2006-2.html#JagadeesanJPR06