Pages that link to "Item:Q1886452"

The following pages link to Verifying persistent security properties (Q1886452):

Displaying 11 items.

• The complexity of synchronous notions of information flow security (Q278742) (← links)
• Typing access control and secure information flow in sessions (Q462485) (← links)
• Combining behavioural types with security analysis (Q890614) (← links)
• Integration of a security type system into a program logic (Q935469) (← links)
• \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
• Unwinding biological systems (Q2348024) (← links)
• Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
• Information flow safety in multiparty sessions (Q2971077) (← links)
• (Q3384915) (← links)
• Persistent Stochastic Non-Interference (Q5158656) (← links)
• Tools and Algorithms for the Construction and Analysis of Systems (Q5308397) (← links)