Pages that link to "Item:Q3619469"
From MaRDI portal
The following pages link to Secure Information Flow as a Safety Property (Q3619469):
Displayed 8 items.
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Content dependent information flow control (Q511927) (← links)
- Secure information flow connections (Q2141283) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- Information flow safety in multiparty sessions (Q2971077) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- Symbolic abstract heaps for polymorphic information-flow guard inference (Q6132488) (← links)
- Only connect, securely (Q6190180) (← links)