2162 search results - page 221 / 433 » A Meta-Notation for Protocol Analysis |
186
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
183
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
We present a practical protocol based on homomorphic cryptography for conducting provably fair sealed-bid auctions. The system preserves the secrecy of the bids, even after the an...
177
click to vote
DCOSS
2006
Springer
15 years 10 months ago
2006
Springer
Improving network lifetime is a fundamental challenge of wireless sensor networks. One possible solution consists in making use of mobile sinks. Whereas theoretical analysis shows...
191
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
The level of security provided by digital rights management functions and cryptographic protocols depend heavily on the security of an embedded secret key. The current practice of...
183
click to vote
INFOCOM
1997
IEEE
15 years 10 months ago
1997
IEEE
The workload of the global Internet is dominated by the Hypertext Transfer Protocol (HTTP), an application protocol used by World Wide Web clients and servers. Simulation studies ...