5255 search results - page 378 / 1051 » Formal Methods for Privacy |
121
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We defeat two proposed Unix file-system race condition defense mechanisms. First, we attack the probabilistic defense mechanism of Tsafrir, et al., published at USENIX FAST 2008[...
127
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
142
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper we extend a model-based approach to security management with concepts and methods that provide a possibility for quantitative assessments. For this purpose we intr...
113
click to vote
IEEEARES
2008
IEEE
15 years 11 months ago
2008
IEEE
— Finding evidence of antedating is an important goal in many digital investigations. This paper explores how causality can expose antedating by investigating storage systems for...
125
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper is the continuation of a series of related work about experimentation of alternative ways of interaction with computers for disabled people (concretely with users suffe...