Pages that link to "Item:Q2844070"
From MaRDI portal
The following pages link to A rewriting strategy for protocol verification (Q2844070):
Displaying 8 items.
- Ping-pong protocols as prefix grammars: modelling and verification via program transformation (Q739638) (← links)
- Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk) (Q2703700) (← links)
- Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting (Q2848483) (← links)
- Rewriting-based verification of authentication protocols (Q2851055) (← links)
- (Q3765231) (← links)
- An algorithmic technique for protocol verification (Q3805886) (← links)
- A proof of protocol correctness (Q4365008) (← links)
- (Q4417864) (← links)