Tanvir Ahmed, Anand R. Tripathi. Static verification of security requirements in role based CSCW systems. In SACMAT 2003, 8th ACM Symposium on Access Control Models and Technologies, June 2-3, 2003, Villa Gallia, Como, Italy, Proceedings. pages 196-203, ACM, 2003. [doi]
Abstract is missing.