Pages that link to "Item:Q2482443"

The following pages link to Preservation of probabilistic information flow under refinement (Q2482443):

Displaying 2 items.

• On integrating confidentiality and functionality in a formal method (Q736833) (← links)
• Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)