860 search results - page 72 / 172 » Uncovering Attacks on Security Protocols |
JALC
2006
14 years 10 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...
107
click to vote
ATC
2007
Springer
15 years 4 months ago
2007
Springer
Group key exchange protocols allow their participants to compute a secret key which can be used to ensure security and privacy for various multi-party applications. The resulting g...
EUROSEC
2009
ACM
15 years 4 months ago
2009
ACM
Network traces of Internet attacks are among the most valuable resources for network analysts and security researchers. However, organizations and researchers are usually reluctan...
102
click to vote
EIT
2008
IEEE
15 years 4 months ago
2008
IEEE
—Wireless Mesh Networks (WMNs) have emerged recently as a promising technology for next-generation wireless networking to provide wide variety of applications that cannot be supp...