719 search results - page 102 / 144 » Proving Security Protocols Correct |
CCR
2006
14 years 9 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...
FC
2007
Springer
15 years 3 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...
JPDC
2011
14 years 4 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 ...
103
Voted
PADL
2012
Springer
13 years 5 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...
CCS
2001
ACM
15 years 1 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...