5255 search results - page 158 / 1051 » Formal Methods for Privacy |
138
Voted
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Privacy-preserving data mining has concentrated on obtaining valid results when the input data is private. An extreme example is Secure Multiparty Computation-based methods, where...
138
click to vote
DMKD
2003
ACM
15 years 8 months ago
2003
ACM
Homeland security measures are increasing the amount of data collected, processed and mined. At the same time, owners of the data raised legitimate concern about their privacy and...
101
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract-- The problem of private information "leakage" (inadvertently or by malicious design) from the myriad large centralized searchable data repositories drives the n...
114
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
133
click to vote
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...