The following pages link to (Q4518881):
Displaying 28 items.
- The security picalculus and non-interference (extended abstract) (Q276474) (← links)
- Typing access control and secure information flow in sessions (Q462485) (← links)
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Typing correspondence assertions for communication protocols (Q1399972) (← 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)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Assigning types to processes (Q1854525) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← 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)
- On the prevention of fraud and privacy exposure in process information flow (Q2815456) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- Secured information flow for asynchronous sequential processes (Q2864389) (← links)
- Securing the Future — An Information Flow Analysis of a Distributed OO Language (Q2891392) (← links)
- Timing-Sensitive Noninterference through Composition (Q3304803) (← links)
- Typing Correspondence Assertions for Communication Protocols (Q4917053) (← links)
- Taming Message-Passing Communication in Compositional Reasoning About Confidentiality (Q5055995) (← links)
- A uniform type structure for secure information flow (Q5178900) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
- Foundations of Software Science and Computational Structures (Q5705885) (← links)
