Specifying Security for Computer Supported Collaborative Working

CSCW systems provide computer support to facilitate cooperation between users. This paper proposes an approach to the formal speciication of security requirements for CSCW applications, where a CSCW application is viewed as a collection of activities that users may participate in. The speciication approach is straightforward, and can be used to capture a wide variety of security requirements, including integrity and conndentiality. It is illustrated with a case study of a secure electronic examinations system.