Pages that link to "Item:Q2851055"
From MaRDI portal
The following pages link to Rewriting-based verification of authentication protocols (Q2851055):
Displaying 6 items.
- CHAP and rewrite components (Q766175) (← links)
- On the relationships between models in protocol verification (Q2482448) (← links)
- A rewriting strategy for protocol verification (Q2844070) (← links)
- Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting (Q2848483) (← links)
- (Q4418585) (← links)
- Verification and modelling of authentication protocols (Q5857805) (← links)