163 search results - page 27 / 33 » Relaxing Chosen-Ciphertext Security |
167
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
—It is not possible to ensure that a network is absolutely secure. Therefore, network operators must continually change their defense strategies to counter attackers who constant...
115
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Distributed software development support systems typically use a centralized client-server architecture. This approach has some drawbacks such as the participants may experience l...
141
click to vote
NDSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
150
click to vote
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
Classical distributed protocols like broadcast or multi-party computation provide security as long as the number of malicious players f is bounded by some given threshold t, i.e., ...
124
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...