The following pages link to Types for access control (Q1575157):
Displaying 11 items.
- KLAIM (Q21407) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- Security types for dynamic web data (Q935467) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- MOMI: a calculus for mobile mixins (Q2576664) (← links)
- A type system for Discretionary Access Control (Q3395314) (← links)
- Security Types for Dynamic Web Data (Q3608462) (← links)
