1779 search results - page 63 / 356 » A Formal Model of Data Privacy |
118
click to vote
POPL
1999
ACM
15 years 5 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
172
Voted
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Limiting disclosure in data publishing requires a careful balance between privacy and utility. Information about individuals must not be revealed, but a dataset should still be us...
131
click to vote
ZUM
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
109
click to vote
JTAER
2010
14 years 12 months ago
2010
Technological developments now allow community groups, clubs, and even ordinary individuals to create their own, publicly accessible online digital multi-media collections. Howeve...
216
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
When disseminating data involving human subjects, researchers have to weigh in the requirements of privacy of the individuals involved in the data. A model widely used for enhancin...