Pages that link to "Item:Q2841272"
From MaRDI portal
The following pages link to A type inference algorithm for secure ambients (Q2841272):
Displaying 11 items.
- Space-aware ambients and processes (Q875514) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Security types for dynamic web data (Q935467) (← links)
- Behavioural typing for safe ambients (Q1869978) (← links)
- Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types (Q2229149) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Union and Intersection Types for Secure Protocol Implementations (Q2902912) (← links)
- (Q4411972) (← links)
- A uniform type structure for secure information flow (Q5178900) (← links)
- A type system for certified binaries (Q5178908) (← links)
- Types for ambient and process mobility (Q5458067) (← links)