Pages that link to "Item:Q5394433"
From MaRDI portal
The following pages link to Computer Aided Systems Theory – EUROCAST 2005 (Q5394433):
Displaying 7 items.
- Protocol analysis with time and space (Q2154006) (← links)
- Minimum \(k\)-path vertex cover (Q2275922) (← links)
- Cathy Meadows: a central figure in protocol analysis (Q2303355) (← links)
- PTAS for the minimum \(k\)-path connected vertex cover problem in unit disk graphs (Q2392763) (← links)
- Security protocols and their properties (Q2752046) (← links)
- Extending security protocol analysis: new challenges (Q2848031) (← links)
- Formal analysis of security protocols for wireless sensor networks (Q3075867) (← links)