Pages that link to "Item:Q5463936"
From MaRDI portal
The following pages link to Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463936):
Displaying 6 items.
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- The Symbiosis between Collision and Preimage Resistance (Q3104691) (← links)
- Traceable Privacy of Recent Provably-Secure RFID Protocols (Q3506416) (← links)
- A Precise and Reliable Multivariable Chain Rule (Q5162645) (← links)
- A Modular Security Analysis of EAP and IEEE 802.11 (Q5738761) (← links)
- Cryptanalysis of OCB2: attacks on authenticity and confidentiality (Q5919018) (← links)