Anand R. Tripathi, Tanvir Ahmed, Richa Kumar. Specification of Secure Distributed Collaboration Systems. In 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy. pages 149-156, IEEE Computer Society, 2003. [doi]
Abstract is missing.