263 search results - page 50 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
MOBICOM
2004
ACM
14 years 27 days ago
2004
ACM
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc ne...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We introduce Torsk, a structured peer-to-peer low-latency anonymity protocol. Torsk is designed as an interoperable replacement for the relay selection and directory service of th...
GRID
2004
Springer
14 years 25 days ago
2004
Springer
Computational grids are increasingly being deployed in campus environments to provide unified access to distributed and heterogeneous resources such as clusters, storage arrays, ...
ICDCS
2003
IEEE
14 years 22 days ago
2003
IEEE
With the proliferation of wireless devices, mobile ad hoc networking (MANET) has become a very exciting and important technology due to its characteristics of open medium and dyna...
CCGRID
2002
IEEE
14 years 13 days ago
2002
IEEE
A scalable and expressive peer-to-peer (P2P) networking and computing framework requires efficient resource discovery services. Here we propose NEVRLATE, for Network-Efficient V...