1779 search results - page 24 / 356 » A Formal Model of Data Privacy |
111
click to vote
PODS
2012
ACM
13 years 3 months ago
2012
ACM
In this paper we introduce a new and general privacy framework called Pufferfish. The Pufferfish framework can be used to create new privacy definitions that are customized t...
117
click to vote
PET
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
109
click to vote
EDBTW
2010
Springer
15 years 8 months ago
2010
Springer
As the use of social networks becomes more widespread and commonplace, users are beginning to question how their privacy is protected by social networks. In this paper, we review ...
137
click to vote
DIM
2007
ACM
15 years 5 months ago
2007
ACM
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
108
click to vote
CCS
2004
ACM
15 years 6 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...