Formal analysis of privacy in Direct Anonymous Attestation schemes.

Ben Smyth Mark Dermot Ryan Liqun Chen

Published in: Sci. Comput. Program. (2015)

Keyphrases

formal analysis
personal information
ban logic
agent model
privacy preserving
formal methods
databases
private information retrieval
information loss
private information
security issues
software engineering
privacy protection
artificial intelligence
differential privacy
security properties
machine learning