Pages that link to "Item:Q2849853"
From MaRDI portal
The following pages link to Performance evaluation of security protocols specified in LySa (Q2849853):
Displaying 8 items.
- \textsf{CaPiTo}: Protocol stacks for services (Q640297) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Non-repudiation analysis using \textsc{LySa} with annotations (Q1749255) (← links)
- A quantitative study of two attacks (Q2849572) (← links)
- Security Metrics at Work on the Things in IoT Systems (Q3297843) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- Type Inference for Correspondence Types (Q5170185) (← links)