Title :
A framework for composition of security models
Author :
Landauer, J. ; Redmond, T.
Author_Institution :
Trusted Inf. Syst., Glenwood, MD, USA
Abstract :
The authors present an abstract framework for composing models of system components. The abstract presentation is designed to be applicable to a very wide range of models of computation. They introduce a restricted model of computation and develop techniques that are useful for composing security models for modular systems. They include a small example of a composed security model
Keywords :
security of data; abstract presentation; composition; framework; modular systems; restricted model; security models; system components; Computational modeling; Independent component analysis; Information security; Information systems; Kernel;
Conference_Titel :
Computer Security Foundations Workshop V, 1992. Proceedings.
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2850-2
DOI :
10.1109/CSFW.1992.236779
