Back to Results
First PageMeta Content
Logic / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Abstraction / Generalised Whitehead product / Symbol


λ-RBAC: Programming with Role-Based Access Control Radha Jagadeesan1,? , Alan Jeffrey2,? , Corin Pitcher1?? , and James Riely1,? ? ? 1 2 School of CTI, DePaul University
Add to Reading List

Document Date: 2010-12-15 21:37:48


Open Document

File Size: 119,31 KB

Share Result on Facebook