Pages that link to "Item:Q2876912"
From MaRDI portal
The following pages link to Session Key Distribution Using Smart Cards (Q2876912):
Displaying 6 items.
- Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach (Q540685) (← links)
- FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes (Q895004) (← links)
- Two-factor mutual authentication based on smart cards and passwords (Q955348) (← links)
- Generalized proofs of knowledge with fully dynamic setup (Q2695646) (← links)
- Verifying a Hotel Key Card System (Q3525136) (← links)
- A Modular Security Analysis of EAP and IEEE 802.11 (Q5738761) (← links)