Pages that link to "Item:Q5505422"
From MaRDI portal
The following pages link to A Formal Analysis of Complex Type Flaw Attacks on Security Protocols (Q5505422):
Displaying 6 items.
- Measuring security in IoT communications (Q1731516) (← links)
- Non-repudiation analysis using \textsc{LySa} with annotations (Q1749255) (← links)
- Security Metrics at Work on the Things in IoT Systems (Q3297843) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols (Q5505422) (← links)
