1779 search results - page 21 / 356 » A Formal Model of Data Privacy |
112
click to vote
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
100
click to vote
KDD
2004
ACM
16 years 1 months ago
2004
ACM
Secure multiparty computation allows parties to jointly compute a function of their private inputs without revealing anything but the output. Theoretical results [2] provide a gen...
132
click to vote
ICDM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--This paper presents a framework for privacypreserving Gaussian Mixture Model computations. Specifically, we consider a scenario where a central service wants to learn the...
KDD
2009
ACM
15 years 8 months ago
2009
ACM
112
click to vote
IEEEARES
2010
IEEE
15 years 8 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...