Pages that link to "Item:Q604479"
From MaRDI portal
The following pages link to A comparison of semantic models for noninterference (Q604479):
Displaying 5 items.
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- Semantic models for information flow (Q1826632) (← links)
- Security invariants in discrete transition systems (Q1941889) (← links)
- The Research on Definition of Multilevel Security Based on the Construction of Covert Channels (Q3102163) (← links)
- Non-interference models and subliminal channels (Q4809555) (← links)