Pages that link to "Item:Q5862302"
From MaRDI portal
The following pages link to Unwinding Possibilistic Security Properties (Q5862302):
Displaying 13 items.
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Security of multi-agent systems: a case study on comparison shopping (Q2372189) (← links)
- (Q3384915) (← links)
- (Q4493894) (← links)
- (Q4994887) (← links)
- Computational Probabilistic Non-interference (Q5030175) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)
- On Refinement-Closed Security Properties and Nondeterministic Compositions (Q5178974) (← links)
- Quantifying Probabilistic Information Flow in Computational Reactive Systems (Q5862670) (← links)