288 search results - page 23 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
131
click to vote
MOBIHOC
2002
ACM
16 years 1 months ago
2002
ACM
This paper presents a new carrier sensing mechanism called DVCS (Directional Virtual Carrier Sensing) for wireless communication using directional antennas. DVCS does not require ...
114
click to vote
MOBIHOC
2000
ACM
15 years 6 months ago
2000
ACM
Abstract— This paper presents a radically new multicast model for ad hoc wireless networks. In this model, the content of the multicast data determines the receiver set for the d...
121
Voted
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
There have been various secure routing protocols proposed for mobile ad hoc networks. Most of these protocols are analyzed by two standard techniques: simulation and security anal...
105
Voted
BROADNETS
2006
IEEE
15 years 8 months ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
124
Voted
AINA
2006
IEEE
15 years 5 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...