176 search results - page 15 / 36 » Formal Security Analysis for Ad-Hoc Networks |
CCS
2008
ACM
13 years 10 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
ACNS
2004
Springer
14 years 1 months ago
2004
Springer
Distance vector routing protocols (e.g., RIP) have been widely used on the Internet, and are being adapted to emerging wireless ad hoc networks. However, it is well-known that exis...
ICICS
2004
Springer
14 years 1 months ago
2004
Springer
A mobile ad hoc network (MANET) is formed by a group of mobile wireless nodes, each of which functions as a router and agrees to forward packets for others. Many routing protocols ...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
ISSTA
2000
ACM
14 years 10 days ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...