Pages that link to "Item:Q2848483"
From MaRDI portal
The following pages link to Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting (Q2848483):
Displaying 7 items.
- CHAP and rewrite components (Q766175) (← links)
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties (Q860906) (← links)
- Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk) (Q2703700) (← links)
- A rewriting strategy for protocol verification (Q2844070) (← links)
- Rewriting-based verification of authentication protocols (Q2851055) (← links)
- Concise and tight security analysis of the Bennett–Brassard 1984 protocol with finite key lengths (Q5137709) (← links)
- Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption (Q5418723) (← links)