@techreport{isads:collab-spec,
   author    = {Anand Tripathi, Tanvir Ahmed, Richa Kumar},
   title     = {{Specification of Secure Distributed Collaboration Systems}}
   institution = {Department of Computer Science, University of Minnesota},
   year      = {2002},
   month     = {Aug},
   note     = {To appear in proceedings to International Symposium on Autonomous Distributed Systems. Available at http://www.cs.umn.edu/Ajanta} 
}