Pages that link to "Item:Q3079920"

The following pages link to A Proof System for Information Flow Security (Q3079920):

Displaying 11 items.

• Information flow in systems with schedulers. II: Refinement (Q383362) (← links)
• 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)
• Architectural refinement and notions of intransitive noninterference (Q1941885) (← links)
• Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
• \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
• Persistent Stochastic Non-Interference (Q5158656) (← links)
• On Refinement-Closed Security Properties and Nondeterministic Compositions (Q5178974) (← links)
• Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)