Specifying security properties

Authors:
J. L. Jacob
Affiliations:
-
Venue:
Developments in concurrency and communication
Year:
1991

Citing 0
Cited 2

What is Intransitive Noninterference?

CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Semantic models for information flow

Theoretical Computer Science - Mathematical foundations of programming semantics

Quantified Score

Hi-index	0.01

Visualization

Abstract