The following pages link to Secure safe ambients (Q5178885):
Displaying 14 items.
- Space-aware ambients and processes (Q875514) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Safety without stuttering (Q1089789) (← links)
- Typing evolving ambients (Q1607130) (← links)
- Orderly communication in the ambient calculus. (Q1869977) (← links)
- Behavioural typing for safe ambients (Q1869978) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- The seal calculus (Q2566220) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- A fully abstract model for mobile ambients (Q2841277) (← links)