168 search results - page 9 / 34 » A Model of Computation for the NRL Protocol Analyzer |
NCA
2003
IEEE
14 years 19 days ago
2003
IEEE
This paper proposes the modeling and the performance analysis of a high-level control protocol – COCOP, which enables cooperative groups of clients to control a shared server de...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Multicast services are demanded by a variety of applications. Many applications require anonymity during their communication. However, there has been very little work on anonymous...
ICDCS
2005
IEEE
14 years 29 days ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
ATC
2007
Springer
14 years 1 months ago
2007
Springer
Group key exchange protocols allow their participants to compute a secret key which can be used to ensure security and privacy for various multi-party applications. The resulting g...
INFOCOM
2002
IEEE
14 years 8 days ago
2002
IEEE
IEEE 802.11 Medium Access Control(MAC) is proposed to support asynchronous and time bounded delivery of radio data packets in infrastructure and ad hoc networks. The basis of the I...