12 search results - page 3 / 3 » What is the best way to prove a cryptographic protocol corre... |
ADHOC
2007
13 years 5 months ago
2007
Abstract. Many ad hoc routing algorithms rely on broadcast flooding for location discovery or, more generally, for secure routing applications. Flooding is a robust algorithm but ...
CCS
2001
ACM
13 years 8 months ago
2001
ACM
We present a mathematical construct which provides a cryptographic protocol to verifiably shuffle a sequence of k modular integers, and discuss its application to secure, universa...