1. Backes, M., Maffei, M., Unruh, D.: Zero-knowledge in the applied pi-calculus and automated verification of the direct anonymous attestation protocol. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 202–215. IEEE Computer Society, Los Alamitos (2008)
2. Lecture Notes in Computer Science;P.S.L.M. Barreto,2006
3. Lecture Notes in Computer Science;D. Boneh,2004
4. Lecture Notes in Computer Science;D. Boneh,2004
5. Brickell, E., Camenisch, J., Chen, L.: Direct anonymous attestation. In: Proceedings of the 11th ACM Conference on Computer and Communications Security, pp. 132–145. ACM Press, New York (2004)