860 search results - page 37 / 172 » Uncovering Attacks on Security Protocols |
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
Ad hoc networks are subject of many recent research efforts. Especially in mobile scenarios, self-organizing networks are of high interest. While the routing aspects of mobile ad ...
ESORICS
2005
Springer
14 years 27 days ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
IEEECIT
2010
IEEE
13 years 5 months ago
2010
IEEE
The small subgroup confinement attack works by confining cryptographic operations within a small subgroup, in which exhaustive search is feasible. This attack is overt and hence ca...
CSFW
2008
IEEE
13 years 9 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
INFOCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
—Neighbor discovery is a fundamental requirement and need be done frequently in underwater acoustic networks (UANs) with floating node mobility. In hostile environments, neighbo...