226 search results - page 28 / 46 » Formal Verification of a Multicast Protocol In Mobile Networ... |
CCR
2000
13 years 7 months ago
2000
Non-repudiation protocols aim at preventing parties in a communication from falsely denying having taken part in that communication; for example, a non-repudiation protocol for di...
ICNP
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper targets the problem of optimal resource allocation in overlay multicast, which poses both theoretical and practical challenges. Theoretically, resource allocation among...
ACSD
2010
IEEE
13 years 5 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...
VTC
2010
IEEE
13 years 5 months ago
2010
IEEE
—Vehicular Ad-hoc NETworks (VANETs) adopting Dedicated Short-Range Communications (DSRCs) have emerged as a preferred choice of network design for the Intelligent Transportation ...
IJNSEC
2008
13 years 7 months ago
2008
Specific applications like military or public emergency ones require secure group communication in ad hoc environments. The most suitable solution to provide the expected level of...