Media type: E-Article Title: Lecture Notes in Computer Science: Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes Contributor: Smyth, Ben; Ryan, Mark; Chen, Liqun Published: Springer Berlin Heidelberg, 2012 Published in: Lecture Notes in Computer Science (2012), Seite 245-262 Language: Not determined DOI: 10.1007/978-3-642-29420-4_16 ISBN: 9783642294198; 9783642294204 ISSN: 0302-9743; 1611-3349 Origination: Footnote: