[Giuri96] L. Giuri, A Formal Model for Role-Based Access Control with Constraints, 9th IEEE Computer Security Foundations Workshop, Ireland, June 10-12, 1996. [This paper gives a formal foundation for role-based access control through the introduction of a new model and the formal specification of its semantics.]
fc@red.all.net