Pages that link to "Item:Q5178900"
From MaRDI portal
The following pages link to A uniform type structure for secure information flow (Q5178900):
Displaying 21 items.
- 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)
- Security types preserving compilation (Q865705) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Linearity and bisimulation (Q997996) (← links)
- The security pi-calculus and non-interference (Q1772311) (← links)
- Information flow for Algol-like languages (Q1869976) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- Processes and games (Q2851048) (← links)
- Union and Intersection Types for Secure Protocol Implementations (Q2902912) (← links)
- Non-disclosure for distributed mobile code (Q3103611) (← links)
- Cathoristic Logic (Q3297837) (← links)
- Timing-Sensitive Noninterference through Composition (Q3304803) (← links)
- (Q4518881) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)