The following pages link to (Q4411973):
Displaying 5 items.
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java (Q1749145) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- Securing the Future — An Information Flow Analysis of a Distributed OO Language (Q2891392) (← links)
