5255 search results - page 327 / 1051 » Formal Methods for Privacy |
169
click to vote
ICDM
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we study the problem of constructing private classifiers using decision trees, within the framework of differential privacy. We first construct privacy-preserving ID...
137
click to vote
PKC
2009
Springer
16 years 5 months ago
2009
Springer
Sanitizable signature schemes, as defined by Ateniese et al. (ESORICS 2005), allow a signer to partly delegate signing rights to another party, called the sanitizer. That is, the s...
149
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
142
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
167
click to vote
RWEB
2010
Springer
15 years 3 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...