718 search results - page 47 / 144 » Security protocols, properties, and their monitoring |
121
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
130
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, we present a protocol for computing the principal eigenvector of a collection of data matrices belonging to multiple semi-honest parties with privacy const...
120
click to vote
CSFW
2000
IEEE
15 years 5 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
88
Voted
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
115
click to vote
COMPSEC
2010
15 years 17 days ago
2010
Abstract A Secret Handshake is a protocol that allows two users to mutually verify one another’s properties, and in case of simultaneous matching, to share a key used to secure s...