Pages that link to "Item:Q3584924"
From MaRDI portal
The following pages link to Information Flow in Interactive Systems (Q3584924):
Displaying 7 items.
- Min-entropy as a resource (Q385717) (← links)
- Dependent information flow types (Q2819817) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- Compositional methods for information-hiding (Q2971070) (← links)
- Hidden-Markov program algebra with iteration (Q5740625) (← links)
- Quantifying opacity (Q5740626) (← links)
- Foundations of Information and Knowledge Systems (Q5901874) (← links)