7300 search results - page 151 / 1460 » Multi-modal network protocols |
140
click to vote
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
122
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
151
click to vote
NDSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
146
click to vote
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a joint PHY/MAC architecture (DCC-MAC) for 802.15.4a-like networks based on PPM-UWB. Unlike traditional approaches it fully utilizes the specific nature of UWB to achie...
134
click to vote
CN
2006
15 years 4 months ago
2006
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...