263 search results - page 52 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
JCIT
2007
13 years 7 months ago
2007
The applications in many scientific fields, like bioinformatics and high-energy physics etc, increasingly demand the computing infrastructures can provide more computing power and...
HPDC
2007
IEEE
14 years 1 months ago
2007
IEEE
Grid computations require global access to massive data stores. To meet this need, the GridNFS project aims to provide scalable, high-performance, transparent, and secure wide-are...
ESAS
2007
Springer
14 years 1 months ago
2007
Springer
The problem of secure routing in mobile ad hoc networks is long-standing and has been extensively studied by researchers. Recently, techniques of aggregating signatures have been a...
OSDI
2002
ACM
14 years 7 months ago
2002
ACM
Farsite is a secure, scalable file system that logically functions as a centralized file server but is physically distributed among a set of untrusted computers. Farsite provides ...
WMASH
2005
ACM
14 years 1 months ago
2005
ACM
Wireless access has already become a ubiquitous way to connect to the Internet, but the mushrooming of wireless access infrastructures throughout the world has given rise to a wid...