Pages that link to "Item:Q2482455"
From MaRDI portal
The following pages link to Information flow security in boundary ambients (Q2482455):
Displaying 6 items.
- Validating firewalls using flow logics (Q1603656) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- Information leakage detection in boundary ambients (Q2843917) (← links)
- Secured information flow for asynchronous sequential processes (Q2864389) (← links)
- Information Leakage Analysis by Abstract Interpretation (Q3075542) (← links)
- Information-Flow Attacks Based on Limited Observations (Q3401949) (← links)