Pages that link to "Item:Q1869979"
From MaRDI portal
The following pages link to Security boundaries in mobile ambients (Q1869979):
Displaying 7 items.
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Validating firewalls using flow logics (Q1603656) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- Information leakage detection in boundary ambients (Q2843917) (← links)
- Evaluating Security Policies in Pervasive Mobile Environments Using Context Information (Q3407292) (← links)
- Foundations of Security Analysis and Design II (Q5901855) (← links)