6555 search results - page 881 / 1311 » Secure attribute-based systems |
233
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...
168
Voted
SP
2006
IEEE
15 years 11 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
119
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
A fundamental piece of information required in intelligent storage systems is the liveness of data. We formalize the notion of liveness within storage, and present two classes of ...
130
Voted
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
119
click to vote
SIGOPSE
2004
ACM
15 years 10 months ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...