Title :
A formal approach for security evaluation
Author :
McDermid, J.A. ; Shi, Qi
Author_Institution :
Dept. of Comput. Sci., York Univ., UK
Abstract :
The authors discuss security issues and consider the extent to which internal relations among entities in a system should be taken into account when carrying out security analysis. They present a concrete and flexible security model expressed in terms of the internal relations in the system, rather than abstract state machines. Based on this model, security analysis can be carried out by decomposing the analysis of the whole system into analyses of subsets of the relations, and the security property of the whole system can be derived by composition of these secure relation subsets
Keywords :
security of data; systems analysis; formal approach; internal relations; security analysis; security evaluation; security issues; Bridges; Computer science; Computer security; Concrete; Degradation; Information security; Performance loss; System performance;
Conference_Titel :
Computer Assurance, 1992. COMPASS '92. 'Systems Integrity, Software Safety and Process Security: Building the System Right.', Proceedings of the Seventh Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-0579-5
DOI :
10.1109/CMPASS.1992.235762
