Computer Security Foundations Workshop, IEEE (1995)
Kenmare, County Kerry, Ireland
Mar. 13, 1995 to Mar. 15, 1995
S.N. Foley , Dept. of Comput. Sci., Univ. Coll. Cork, Ireland
J. Jacob , Dept. of Comput. Sci., Univ. Coll. Cork, Ireland
CSCW systems provide computer support to facilitate cooperation between users. In this paper we propose an approach for the formal specification of functionality requirements and confidentiality security requirements of a CSCW application. These requirements give rise to safety and confidentiality properties that a CSCW system, supporting the application, should uphold. The specification technique is illustrated with a case study.
groupware; formal specification; security of data; CSCW systems; formal specification; functionality; confidentiality security; safety; specification
S. Foley and J. Jacob, "Specifying security for CSCW systems," Computer Security Foundations Workshop, IEEE(CSFW), Kenmare, County Kerry, Ireland, 1995, pp. 136.