163 search results - page 27 / 33 » Relaxing Chosen-Ciphertext Security |
ICC
2008
IEEE
14 years 2 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...
COMPSAC
2002
IEEE
14 years 25 days 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...
NDSS
2000
IEEE
14 years 7 days 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...
EUROCRYPT
2003
Springer
14 years 1 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., ...
ESORICS
2006
Springer
13 years 11 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...