Pages that link to "Item:Q5862527"
From MaRDI portal
The following pages link to Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos (Q5862527):
Displaying 4 items.
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- Breaking and fixing public-key Kerberos (Q2482453) (← links)
- On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography (Q5458826) (← links)
- A reduction-based proof for authentication and session key security in three-party Kerberos (Q6096687) (← links)