DocumentCode
2734582
Title
Specifying security for CSCW systems
Author
Foley, Simon N. ; Jacob, Jeremy
Author_Institution
Dept. of Comput. Sci., Univ. Coll. Cork, Ireland
fYear
1995
fDate
13-15 Jun 1995
Firstpage
136
Lastpage
145
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1995. Proceedings., Eighth IEEE
Conference_Location
County Kerry
ISSN
1063-6900
Print_ISBN
0-8186-7033-9
Type
conf
DOI
10.1109/CSFW.1995.518559
Filename
518559
Link To Document