Pages that link to "Item:Q2841265"
From MaRDI portal
The following pages link to Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols (Q2841265):
Displaying 5 items.
- \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
- System-level non-interference of constant-time cryptography. I: Model (Q2417947) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)
- Fundamentals of Computation Theory (Q5900812) (← links)