860 search results - page 16 / 172 » Uncovering Attacks on Security Protocols |
IJACT
2008
13 years 7 months ago
2008
: In Group Key Exchange (GKE) protocols, users usually extract the group key using some auxiliary (ephemeral) secret information generated during the execution. Strong corruptions ...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
In response to high-profile Internet outages, BGP security variants have been proposed to prevent the propagation of bogus routing information. To inform discussions of which vari...
WISTP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concer...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
We consider the effect attackers who disrupt anonymous communications have on the security of traditional high- and low-latency anonymous communication systems, as well as on the...
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...