A Genealogy of Non-Interference

Authors:
Peter Ryan
Affiliations:
-
Venue:
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Year:
1996

Citing 2
Cited 0

A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
CSP and determinism in security modelling

SP '95 Proceedings of the 1995 IEEE Symposium on Security and Privacy

Quantified Score

Hi-index	0.00

Visualization

Abstract