Pages that link to "Item:Q2943356"
From MaRDI portal
The following pages link to Information flow inference for free (Q2943356):
Displayed 6 items.
- The spirit of ghost code (Q518394) (← links)
- Noninterference for concurrent programs and thread systems (Q1603688) (← links)
- Abstract interpretation of operational semantics for secure information flow. (Q1853040) (← links)
- Secrecy types for asymmetric communication. (Q1874278) (← links)
- Access Control in a Core Calculus of Dependency (Q2864145) (← links)
- Towards SOS Meta-Theory for Language-Based Security (Q5262972) (← links)