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
ABSTRACT
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.
INDEX TERMS
groupware; formal specification; security of data; CSCW systems; formal specification; functionality; confidentiality security; safety; specification
CITATION

S. Foley and J. Jacob, "Specifying security for CSCW systems," Computer Security Foundations Workshop, IEEE(CSFW), Kenmare, County Kerry, Ireland, 1995, pp. 136.
doi:10.1109/CSFW.1995.518559
94 ms
(Ver 3.3 (11022016))