5255 search results - page 125 / 1051 » Formal Methods for Privacy |
152
Voted
PODS
2010
ACM
15 years 7 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...
126
Voted
CSFW
2009
IEEE
15 years 9 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...
206
Voted
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
We consider a privacy threat to a social network in which the goal of an attacker is to obtain knowledge of a significant fraction of the links in the network. We formalize the ty...
130
Voted
PODS
2011
ACM
14 years 5 months ago
2011
ACM
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as well as the parameter settings and intermediate...
113
click to vote
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper defines a framework in which one can formalize a variety of authorization and policy issues that arise in access control of shared computing resources. Instantiations ...