3349 search results - page 401 / 670 » Data Security |
165
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
202
click to vote
PODS
2000
ACM
15 years 11 months ago
2000
ACM
We study the problem of auditing databases which support statistical sum queries to protect the security of sensitive information; we focus on the special case in which the sensit...
196
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
195
click to vote
ISN
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a novel approach that simplifies real-time multimedia communication applications development and service provision. Such applications are no longer required to...
149
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...