24 search results - page 1 / 5 » esorics 2004 |
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
As network traffic increases, the problems associated with monitoring and analyzing the traffic on high speed networks become increasingly difficult. In this paper, we introduce a ...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
This work presents a practical public-key encryption scheme that offers security under adaptive chosen-ciphertext attack (CCA) and has pseudo-random ciphertexts, i.e. ciphertexts ...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...