263 search results - page 53 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
WICOMM
2008
13 years 4 months ago
2008
With the recent advances in portable devices and wireless networks, a new paradigm of computing has emerged which is known as mobile computing. In general mobile computing can be ...
CSREASAM
2006
13 years 6 months ago
2006
The widely acknowledged problem of reliably identifying the origin of information in cyberspace has been the subject of much research. Due to the nature of the Internet protocol, ...
TKDE
2008
13 years 4 months ago
2008
Abstract-- In peer-to-peer (P2P) networks, reputation aggregation and peer ranking are the most time-consuming and spacedemanding operations. This paper proposes a gossip-based rep...