2814 search results - page 99 / 563 » Can We Make Operating Systems Reliable and Secure |
121
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
In both commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information to the concerned actors. Traditional approaches to informa...
158
click to vote
NSDI
2008
15 years 7 months ago
2008
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...
156
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
By functionally decomposing a specific algorithm (the hierarchical secure aggregation algorithm of Chan et al. [3] and Frikken et al. [7]), we uncover a useful general functionali...
142
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we provide a method to safely store a document in perhaps the most challenging settings, a highly decentralized replicated storage system where up to half of the st...
159
click to vote
IWFM
2000
15 years 6 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...