5255 search results - page 407 / 1051 » Formal Methods for Privacy |
198
click to vote
JUCS
2010
15 years 1 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
122
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Evidence-based care is an increasingly popular process for long term diagnosis and monitoring of education and healthcare disabilities. Because this evidence must also be collecte...
161
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
In order to protect individuals' privacy, the technique of kanonymization has been proposed to de-associate sensitive attributes from the corresponding identifiers. In this p...
145
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
192
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes the direct anonymous attestation scheme (DAA). This scheme was adopted by the Trusted Computing Group as the method for remote authentication of a hardware mo...