The following pages link to (Q2754161):
Displaying 15 items.
- The security picalculus and non-interference (extended abstract) (Q276474) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Noninterference for concurrent programs and thread systems (Q1603688) (← links)
- The security pi-calculus and non-interference (Q1772311) (← links)
- Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312) (← links)
- Assigning types to processes (Q1854525) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- Secured information flow for asynchronous sequential processes (Q2864389) (← links)
- May Testing, Non-interference, and Compositionality (Q4923384) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)