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

fYear

1994

fDate

9-11 Nov 1994

Firstpage

364

Lastpage

369

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International

Conference_Location

Taipei

Print_ISBN

0-8186-6705-2

Type

conf

DOI

10.1109/CMPSAC.1994.342777

Filename

342777