Pages that link to "Item:Q1603653"
From MaRDI portal
The following pages link to Primitives for authentication in process algebras. (Q1603653):
Displaying 7 items.
- A comparison of three authentication properties. (Q1853750) (← links)
- Private authentication (Q1881255) (← links)
- \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
- Pattern-matching spi-calculus (Q2500522) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Authentication primitives and their compilation (Q5178860) (← links)
- Foundations of Security Analysis and Design II (Q5901852) (← links)