1362 search results - page 80 / 273 » Model Checking Large Network Protocol Implementations |
110
Voted
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Since IP packet reassembly requires resources, a denial of service attack can be mounted by swamping a receiver with IP fragments. In this paper we argue how this attack need not ...
117
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Consider a large wireless ad hoc network that facilitates communication between random pairs of network nodes. The paper investigates the size of routing tables as the number o...
130
click to vote
EVOW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Nature inspired routing protocols for fixed and mobile networks are becoming an active area of research. However, analyzing their security threats and countering them hav...
135
click to vote
AHSWN
2010
15 years 4 months ago
2010
The specific challenges of multihop wireles networks lead to a strong research effort on efficient protocols design where the offered capacity is a key objective. More specifically...
166
click to vote
JCM
2010
15 years 2 months ago
2010
—In this paper, we show through a simple secure symmetric key based protocol design and experiments the feasibility of secure data collection in a vehicular sensor networks. This...