The following pages link to (Q2766538):
Displaying 21 items.
- An efficient abstract machine for safe ambients (Q882488) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- A security flow control algorithm and its denotational semantics correctness proof (Q1203126) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← 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)
- Safe ambients: Abstract machine and distributed implementation (Q2581541) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- A fully abstract model for mobile ambients (Q2841277) (← links)
- Techniques for security checking: non-interference vs control flow analysis (Q2841279) (← links)
- Information leakage detection in boundary ambients (Q2843917) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Programming Languages and Systems (Q5308698) (← links)
- Foundations of Security Analysis and Design II (Q5901855) (← links)
- The synchronized ambient calculus (Q6204540) (← links)
