Title :
On analysis of secure information systems: a case study
Author :
Qi Shi ; McDermid, J.A. ; Zhang, Ni
Author_Institution :
Sch. of Comput. & Math., Liverpool John Moores Univ., UK
Abstract :
A composable security property of noninterference is applied to carry out a case study of the security analysis of an information system comprising a number of components. We first adopt a different notation to generalise this property for the enforcement of different security requirements. This modified property is then applied to assess the security of the information system. Finally, useful observations derived from this case study are discussed, which can help to develop cost-effective approaches for the design and evaluation of secure systems
Keywords :
DP management; information systems; security of data; systems analysis; case study; composable security property; cost-effective approaches; modified property; noninterference; notation; secure information systems; secure systems design; secure systems evaluation; security analysis; security requirements enforcement; Computer aided software engineering; Computer science; Information analysis; Information security; Information systems; Mathematics; PROM; Power system security;
Conference_Titel :
Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International
Conference_Location :
Taipei
Print_ISBN :
0-8186-6705-2
DOI :
10.1109/CMPSAC.1994.342777
