Login / Signup
A colouring protocol for the generalized Russian cards problem.
Andrés Cordón-Franco
Hans van Ditmarsch
David Fernández-Duque
Fernando Soler-Toscano
Published in:
Theor. Comput. Sci. (2013)
Keyphrases
</>
lightweight
morphological analysis
formal analysis
cryptographic protocols
network protocols
communication protocol
ip address
provably secure