3504 search results - page 596 / 701 » Secure protocol composition |
106
click to vote
HUC
2009
Springer
15 years 6 months ago
2009
Springer
: © Authenticating Ubiquitous Services: A Study of Wireless Hotspot Access Tim Kindberg, Chris Bevan, Eamonn O'Neill, James Mitchell, Jim Grimmett, Dawn Woodgate HP Laborator...
112
click to vote
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
115
click to vote
DIM
2007
ACM
15 years 5 months ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...
114
click to vote
ACMICEC
2006
ACM
15 years 5 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...
124
click to vote
EUROCRYPT
2000
Springer
15 years 5 months ago
2000
Springer
We show that general one-way trapdoor permutations are sufficient to privately retrieve an entry from a database of size n with total communication complexity strictly less than n....