Title :
Specifying security for CSCW systems
Author :
Foley, Simon N. ; Jacob, Jeremy
Author_Institution :
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
Keywords :
formal specification; groupware; security of data; CSCW systems; confidentiality security; formal specification; functionality; safety; specification; Application software; Collaborative work; Computer science; Computer security; Concurrent engineering; Control systems; Design engineering; Educational institutions; Formal specifications; Safety;
Conference_Titel :
Computer Security Foundations Workshop, 1995. Proceedings., Eighth IEEE
Conference_Location :
County Kerry
Print_ISBN :
0-8186-7033-9
DOI :
10.1109/CSFW.1995.518559
