The following pages link to Paralocks (Q5255100):
Displaying 5 items.
- Content dependent information flow control (Q511927) (← links)
- Information flow control in software DB units based on formal verification (Q2172738) (← links)
- Model Checking Information Flow in Reactive Systems (Q2891409) (← links)
- Scheduler-Independent Declassification (Q2908558) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)