Pages that link to "Item:Q5178849"
From MaRDI portal
The following pages link to Shape analysis for mobile ambients (Q5178849):
Displaying 15 items.
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Validating firewalls using flow logics (Q1603656) (← links)
- Abstract interpretation of mobile systems (Q1772313) (← links)
- Analysis of security protocols as open systems (Q1853583) (← links)
- Aliasing models for mobile objects (Q1854530) (← links)
- Behavioural typing for safe ambients (Q1869978) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- A static analysis for brane calculi providing global occurrence counting information (Q2405890) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- Shape analysis for mobile ambients (Q2748155) (← links)
- Techniques for security checking: non-interference vs control flow analysis (Q2841279) (← links)
- A Global Occurrence Counting Analysis for Brane Calculi (Q5743592) (← links)