Formal analysis of privacy in Direct Anonymous Attestation schemes.
Ben SmythMark Dermot RyanLiqun ChenPublished in: IACR Cryptol. ePrint Arch. (2012)
Keyphrases
- formal analysis
- privacy preserving
- formal methods
- ban logic
- security issues
- personal information
- privacy protection
- privacy preserving data mining
- private information retrieval
- data privacy
- differential privacy
- sensitive information
- statistical databases
- database
- building blocks
- personal data
- privacy preservation
- case study