263 search results - page 32 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
180
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present SECTOR, a set of mechanisms for the secure verification of the time of encounters between nodes in multi-hop wireless networks. This information can be u...
178
click to vote
ICAC
2006
IEEE
16 years 1 days ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...
156
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose a host architecture for secure IP multicast. We identify the basic components of the architecture, describe their functionalities and how they interact with one another...
172
click to vote
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Networked virtual environments (NVE) refer to the category of distributed applications that allow a large number of distributed users to interact with one or more central servers i...
154
click to vote
IPPS
2008
IEEE
16 years 12 days ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...