22 search results - page 3 / 5 » Using ProVerif to Analyze Protocols with Diffie-Hellman Expo... |
BROADNETS
2007
IEEE
14 years 2 months ago
2007
IEEE
Fast convergence to topology changes is a key requirement in modern routing infrastructure while reducing the protocol CPU overhead continues to be as important as before. In this...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper analyzes and designs medium access control (MAC) protocols for wireless ad-hoc networks through the network utility maximization (NUM) framework. We first reverse-e...
JFP
2006
13 years 8 months ago
2006
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This article presents an appr...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
We investigate and discuss safety and privacy preserving properties of a game-theortic based coalition algorithm KCA for forming kernel stable coalitions among information agents ...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
We analyze the performance of a DHT-based P2P overlay network in resource access and overlay maintenance activities. We use a cross-platform implementation of the protocol called P...