5488 search results - page 127 / 1098 » On the Secure Implementation of Security Protocols |
141
click to vote
SPW
2005
Springer
15 years 10 months ago
2005
Springer
This paper recounts some lessons that we learned from the deployment of host-to-host IPsec in a large corporate network. Several security issues arise from mismatches between the d...
126
click to vote
CRYPTO
2001
Springer
15 years 9 months ago
2001
Springer
Building on a previous important work of Cachin, Cr´epeau, and Marcil [15], we present a provably secure and more efficient protocol for 2 1 -Oblivious Transfer with a storage-bou...
146
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In RFID protocols, tags identify and authenticate themselves to readers. At Asiacrypt 2007, Vaudenay studied security and privacy models for these protocols. We extend this model ...
123
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
141
click to vote
JCIT
2010
14 years 11 months ago
2010
In 2008, Wang et. al. first investigate a sort of specific secure multi-party computation--secure convex hull two-party computation, and construct two protocols based on Gift wrap...