DocumentCode
3312510
Title
A framework for composition of security models
Author
Landauer, J. ; Redmond, T.
Author_Institution
Trusted Inf. Syst., Glenwood, MD, USA
fYear
1992
fDate
16-18 Jun 1992
Firstpage
157
Lastpage
166
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop V, 1992. Proceedings.
Conference_Location
Franconia, NH
Print_ISBN
0-8186-2850-2
Type
conf
DOI
10.1109/CSFW.1992.236779
Filename
236779
Link To Document