5255 search results - page 102 / 1051 » Formal Methods for Privacy |
CSFW
2010
IEEE
14 years 1 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
CVPR
2008
IEEE
15 years 7 days ago
2008
IEEE
With the emergence of new applications centered around the sharing of image data, questions concerning the protection of the privacy of people visible in the scene arise. Recently...
CCS
2000
ACM
14 years 2 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
DEXA
2005
Springer
14 years 3 months ago
2005
Springer
In relational database systems a combination of privileges and views is employed to limit a user’s access and to hide non-public data. The data privacy problem is to decide wheth...
ICDE
2010
IEEE
14 years 10 months ago
2010
IEEE
While previous works on privacy-preserving serial data publishing consider the scenario where sensitive values may persist over multiple data releases, we find that no previous wor...