2432 search results - page 254 / 487 » Cryptographic logical relations |
159
click to vote
CISC
2005
Springer
16 years 5 days ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
135
click to vote
EDO
2005
Springer
16 years 5 days ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...
168
click to vote
EUROPKI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
145
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...
158
click to vote
TCC
2005
Springer
16 years 3 days ago
2005
Springer
In this work, relations between the security notions standard simulatability and universal simulatability for cryptographic protocols are investigated. A simulatability-based notio...