5488 search results - page 723 / 1098 » On the Secure Implementation of Security Protocols |
223
click to vote
COCO
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the question of what languages can be decided efficiently with the help of a recursive collisionfinding oracle. Such an oracle can be used to break collisionresistan...
192
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...
215
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
In this work we provide efficient distributed protocols for generating shares of random noise, secure against malicious participants. The purpose of the noise generation is to crea...
153
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
This paper introduces and solves a security problem of pervasive computing: how to define authorizations for offline interactions when trust relationships among entities do not ex...
138
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...