1779 search results - page 60 / 356 » A Formal Model of Data Privacy |
140
click to vote
FMCO
2007
Springer
15 years 5 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
112
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Since the formalization of ring signature by Rivest, Shamir and Tauman in 2001, there are lots of variations appeared in the literature. Almost all of the variations rely on the ra...
107
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
105
Voted
ACSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
We address the problem of confidentiality in scenarios where the attacker is not only able to observe the communication between principals, but can also fully compromise the commu...
103
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent research identifies a growing privacy problem that exists within Online Social Networks (OSNs). Several studies have shown how easily strangers can extract personal data a...