1779 search results - page 40 / 356 » A Formal Model of Data Privacy |
101
click to vote
FOSAD
2005
Springer
15 years 7 months ago
2005
Springer
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
109
click to vote
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
In this paper, we propose a privacy model that offers trajectory privacy to the requesters of Location-Based Services (LBSs), by utilizing an underlying network of user movement. ...
116
click to vote
ESORICS
2004
Springer
15 years 6 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
106
click to vote
ICDM
2003
IEEE
15 years 6 months ago
2003
IEEE
We present a framework for clustering distributed data in unsupervised and semi-supervised scenarios, taking into account privacy requirements and communication costs. Rather than...
119
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...