Pages that link to "Item:Q1772311"
From MaRDI portal
The following pages link to The security pi-calculus and non-interference (Q1772311):
Displaying 6 items.
- Combining behavioural types with security analysis (Q890614) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← 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)
- A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)
