The Community for Technology Leaders
Computer Security Foundations Workshop, IEEE (1995)
Kenmare, County Kerry, Ireland
Mar. 13, 1995 to Mar. 15, 1995
ISSN: 1063-6900
ISBN: 0-8186-7033-9
pp: 136
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.
94 ms
(Ver 3.3 (11022016))