719 search results - page 102 / 144 » Proving Security Protocols Correct |
127
Voted
CCR
2006
15 years 4 months ago
2006
Releasing network measurement data--including packet traces-to the research community is a virtuous activity that promotes solid research. However, in practice, releasing anonymiz...
118
Voted
FC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a novel conditional e-cash protocol allowing future anonymous cashing of bank-issued e-money only upon the satisfaction of an agreed-upon public condition. P...
114
Voted
JPDC
2011
14 years 11 months ago
2011
We introduce a novel conditional e-cash protocol allowing future anonymous cashing of bank-issued e-money only upon the satisfaction of an agreedupon public condition. Payers are ...
155
click to vote
PADL
2012
Springer
13 years 11 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
127
click to vote
CCS
2001
ACM
15 years 7 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...