1779 search results - page 30 / 356 » A Formal Model of Data Privacy |
KDD
2007
ACM
16 years 1 months ago
2007
ACM
Abstract. In this paper, we focus on the problem of preserving the privacy of sensitive relationships in graph data. We refer to the problem of inferring sensitive relationships fr...
118
click to vote
DMKD
2003
ACM
15 years 6 months ago
2003
ACM
Homeland security measures are increasing the amount of data collected, processed and mined. At the same time, owners of the data raised legitimate concern about their privacy and...
PVLDB
2010
14 years 12 months ago
2010
We propose a modeling of the problem of privacy-compliant data publishing that captures confidentiality constraints on one side and visibility requirements on the other side. Con...
118
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
128
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...