1875 search results - page 51 / 375 » Automatic Network Protocol Analysis |
146
click to vote
FORTE
1998
15 years 7 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
142
click to vote
NOSSDAV
1991
Springer
15 years 9 months ago
1991
Springer
The Real-time Channel Administration Protocol (RCAP) provides control and administration services for the Tenet real-time protocol suite, a connection-oriented suite of network an...
172
click to vote
WS
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we analyze attacks on existing time synchronization protocols for wireless sensor networks. We propose a secure time synchronization toolbox to counter these attack...
203
click to vote
ICUIMC
2011
ACM
14 years 9 months ago
2011
ACM
Query localization is an improved extension of on-demand routing protocols for ad hoc networks. It makes use of prior routing histories to localize the query flood to a limited re...
171
click to vote
NETWORKING
2008
15 years 7 months ago
2008
In the highly dynamic and unpredictable environment of MANETs, cross-layer design is receiving growing interest but lacks experimental validation tools. This paper presents XIAN (C...