Pages that link to "Item:Q2482453"
From MaRDI portal
The following pages link to Breaking and fixing public-key Kerberos (Q2482453):
Displaying 7 items.
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- Formal analysis of Kerberos 5 (Q860899) (← links)
- Rule-based static analysis of network protocol implementations (Q2482438) (← links)
- Breaking and fixing public-key Kerberos (Q2482453) (← links)
- Protocol composition logic (PCL) (Q2864155) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos (Q5862527) (← links)