A Hookup Theorem for Multilevel Security
IEEE Transactions on Software Engineering
Shared resource matrix methodology: an approach to identifying storage and timing channels
ACM Transactions on Computer Systems (TOCS)
| Hi-index | 0.00 |
In this paper we generalize and extend a composable security property that was developed for the noninterference requirement and used to deal with composition of components linked as a chain. The generalization enables the property to enforce different security requirements, while the extension enables the property to handle the case where components are connected as a tree. This generalized and extended composable property is then applied to carry out a case study of security analysis of an information system.