947 search results - page 27 / 190 » Provable Implementations of Security Protocols |
111
click to vote
EUROCRYPT
1998
Springer
15 years 4 months ago
1998
Springer
For the most compelling applications of threshold cryptosystems, security against chosen ciphertext attack is a requirement. However, prior to the results presented here, there ap...
ASIACRYPT
2008
Springer
15 years 1 months ago
2008
Springer
The collision-resistance of hash functions is an important foundation of many cryptographic protocols. Formally, collision-resistance can only be expected if the hash function in f...
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
103
click to vote
ACISP
2007
Springer
15 years 6 months ago
2007
Springer
We present a new non-interactive message authentication protocol in manual channel model (NIMAP, for short) using the weakest assumption on the manual channel (i.e. assuming the st...
115
click to vote
CRYPTO
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. The paradigms currently used to realize symmetric encryption schemes secure against adaptive chosen ciphertext attack (CCA) try to make it infeasible for an attacker to f...