What is Intransitive Noninterference?
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Extending noninterference properties to the timed world
Proceedings of the 2006 ACM symposium on Applied computing
ALOPA: Authorization Logic for Property Attestation in Trusted Platforms
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
On Refinement-Closed Security Properties and Nondeterministic Compositions
Electronic Notes in Theoretical Computer Science (ENTCS)
Defining noninterference in the temporal logic of actions
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Hi-index | 0.00 |
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability-the ability to define a process as a parallel composition of disjoint components-alone cannot adequately prove the absence of information flow. We present a number of laws for the composition of secure systems, and an example to show how such laws can be applied.