@InProceedings{BGS:CSFW04, author = {C. Braghin and D. Gorla and V. Sassone}, title = {A Distributed Calculus for Role-Based Access Control}, booktitle = {Proc. of 17th Computer Security Foundations Workshop (CSFW'04)}, pages = {48--60}, year = {2004}, publisher = {IEEE Computer Society}, }