Chiara Braghin, Daniele Gorla, Vladimiro Sassone: Role-based access control for a distributed calculus. J. Comput. Secur. 14(2): 113-155 (2006)