Pages that link to "Item:Q5901853"
From MaRDI portal
The following pages link to Foundations of Security Analysis and Design II (Q5901853):
Displaying 4 items.
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Formal models and analysis of secure multicast in wired and wireless networks (Q1040779) (← links)
- A comparison of three authentication properties. (Q1853750) (← links)
- A formalization of credit and responsibility within the GNDC schema (Q2804933) (← links)