988 search results - page 100 / 198 » Cryptographic access control in a distributed file system |
171
click to vote
SP
2009
IEEE
16 years 28 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
165
click to vote
STORAGESS
2005
ACM
15 years 11 months ago
2005
ACM
This paper introduces Hydra, a platform that we are developing for highly survivable and secure data storage systems that distribute information over networks and adapt timely to ...
204
click to vote
WMASH
2003
ACM
15 years 11 months ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
176
click to vote
LCPC
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
164
click to vote
CCS
2007
ACM
16 years 11 days ago
2007
ACM
A Distributed Information Brokering System (DIBS) is a peer-to-peer overlay network that comprises diverse data servers and brokering components helping client queries locate the ...