5255 search results - page 167 / 1051 » Formal Methods for Privacy |
195
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
We study generalization for preserving privacy in publication of sensitive data. The existing methods focus on a universal approach that exerts the same amount of preservation for...
137
Voted
ESAS
2007
Springer
15 years 9 months ago
2007
Springer
RFID-tags can be seen as a new generation of bar codes with added functionality. They are becoming very popular tools for identification of products in various applications such a...
122
Voted
ICDM
2003
IEEE
15 years 9 months ago
2003
IEEE
Privacy is becoming an increasingly important issue in many data mining applications. This has triggered the development of many privacy-preserving data mining techniques. A large...
112
click to vote
CCS
2000
ACM
15 years 8 months ago
2000
ACM
We describe a class of attacks that can compromise the privacy of users’ Web-browsing histories. The attacks allow a malicious Web site to determine whether or not the user has ...
136
Voted
FM
1998
Springer
15 years 7 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...