576 search results - page 48 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
A protocol for computing a functionality is secure if an adversary in this protocol cannot cause more harm than in an ideal computation where parties give their inputs to a truste...
ACNS
2010
Springer
14 years 1 months ago
2010
Springer
Most side-channel attacks that have been published in the open literature assume known- or chosen-message adversarial scenarios. In this paper, we analyze the increase of the attac...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
Indirection-based overlay networks (IONs) are a promising approach for countering distributed denial of service (DDoS) attacks. Such mechanisms are based on the assumption that at...