Sign in

Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes.

Ben SmythMark RyanLiqun Chen
Published in: Formal Aspects in Security and Trust (2011)
Keyphrases
  • formal analysis
  • payment protocol
  • error correction
  • formal methods
  • database
  • privacy protection
  • error correcting