5255 search results - page 160 / 1051 » Formal Methods for Privacy |
132
Voted
ICDM
2005
IEEE
15 years 9 months ago
2005
IEEE
Privacy consideration has much significance in the application of data mining. It is very important that the privacy of individual parties will not be exposed when data mining te...
121
click to vote
MANSCI
2006
15 years 3 months ago
2006
Most successful online marketplaces today are owned and operated by firms that are themselves traders in the marketplace. This raises significant concerns about the fairness of th...
147
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper, we present a protocol for computing the principal eigenvector of a collection of data matrices belonging to multiple semi-honest parties with privacy const...
221
Voted
IJISEC
2007
15 years 3 months ago
2007
The paper extends the idea of negative representations of information for enhancing privacy. Simply put, a set DB of data elements can be represented in terms of its complement set...
136
Voted
EDCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...