1779 search results - page 91 / 356 » A Formal Model of Data Privacy |
121
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
142
click to vote
AAAI
2010
15 years 5 months ago
2010
Multi-Agent Plan Recognition (MAPR) seeks to identify the dynamic team structures and team behaviors from the observations of the activity-sequences of a set of intelligent agents...
315
click to vote
ICDE
2008
IEEE
17 years 3 months ago
2008
IEEE
Existing work on privacy-preserving data publishing cannot satisfactorily prevent an adversary with background knowledge from learning important sensitive information. The main cha...
148
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
—Data warehouse (DW) systems integrate data from heterogeneous sources and are used by decision makers to analyze the status and the development of an organization. Traditionally...
132
click to vote
STOC
2007
ACM
16 years 4 months ago
2007
ACM
We introduce a new, generic framework for private data analysis. The goal of private data analysis is to release aggregate information about a data set while protecting the privac...