The following pages link to Trustworthy Global Computing (Q5394792):
Displaying 9 items.
- The security picalculus and non-interference (extended abstract) (Q276474) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Linearity and bisimulation (Q997996) (← links)
- The security pi-calculus and non-interference (Q1772311) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- A well-behaved LTS for the pi-calculus (abstract) (Q2871826) (← links)
- Noninterference for Intuitionist Necessity (Q2936242) (← links)
- May Testing, Non-interference, and Compositionality (Q4923384) (← links)