The following pages link to (Q3431408):
Displaying 5 items.
- CHAP and rewrite components (Q766175) (← links)
- A rewriting strategy for protocol verification (Q2844070) (← links)
- Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting (Q2848483) (← links)
- Rewriting-based verification of authentication protocols (Q2851055) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703810) (← links)