Sign in
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