Pages that link to "Item:Q2848031"
From MaRDI portal
The following pages link to Extending security protocol analysis: new challenges (Q2848031):
Displaying 5 items.
- Guessing bank PINs by winning a mastermind game (Q692940) (← links)
- Cross-tool semantics for protocol security goals (Q1801034) (← links)
- Formal analysis of security protocols for wireless sensor networks (Q3075867) (← links)
- An Introduction to Security API Analysis (Q3092171) (← links)
- (Q4823820) (← links)