Pages that link to "Item:Q3079920"
From MaRDI portal
The following pages link to A Proof System for Information Flow Security (Q3079920):
Displayed 5 items.
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- The shadow knows: refinement and security in sequential programs (Q923889) (← links)
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)