6555 search results - page 745 / 1311 » Secure attribute-based systems |
176
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
189
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
National surveys demonstrate that millions of crimes go unreported in the United States. Several reasons may contribute to this lack of reporting and we are investigating these po...
167
click to vote
JCS
2011
15 years 2 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
189
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
We address privacy-preserving classification problem in a distributed system. Randomization has been the approach proposed to preserve privacy in such scenario. However, this appr...
178
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...