Pages that link to "Item:Q511927"
From MaRDI portal
The following pages link to Content dependent information flow control (Q511927):
Displaying 6 items.
- Read-abortion (RA) based synchronization protocols to prevent illegal information flow (Q494034) (← links)
- Information flow control in software DB units based on formal verification (Q2172738) (← links)
- Dependent information flow types (Q2819817) (← links)
- Secure Guarded Commands (Q3297842) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- Journal on Data Semantics II (Q5463910) (← links)