On proofs of security for DAA schemes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5324 LNCS, Issue , 2008, Pages 156-175

  Chen, Liqun ^a   Morrissey, Paul ^b   Smart, Nigel P ^b  

^a HEWLETT PACKARD LABORATORIES   (United Kingdom)

^b UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HASH FUNCTIONS; PUBLIC KEY CRYPTOGRAPHY;

BILINEAR PAIRING; COLLISION RESISTANCE; DIRECT ANONYMOUS ATTESTATIONS; DISCRETE LOGARITHMS; RANDOM ORACLE MODEL; REMOTE USERS; SECURITY ANALYSIS; SIMULATION-BASED SECURITY;

NETWORK SECURITY;

EID: 57049110449     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88733-1_11     Document Type: Conference Paper

References (12)

1. Backes, M., Maffei, M., Unruh, D.: Zero Knowledge in the Applied Pi-Calculus and Automated Verification of the Direct Anonymous Attestation Protocol. Cryptology ePrint Archive. Report 2007/289 (2007), http://eprint.iacr.org/2007/289
2. Balfe, S., Lakhani, A.D., Paterson, K.G.: Securing Peer-to-Peer Networks using Trusted Computing. In: Mitchell, C. (ed.) Trusted Computing, ch. 10, pp. 271-298. IEEE Computer Society Press, Los Alamitos (2005)
3. 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)
4. Brickell, E., Chen, L., Li, J.: Simplified Security Notions for Direct Anonymous Attestation and a Concrete Scheme from Pairings. Cryptology ePrint Archive. Report 2008/104 (2008), http://eprint.iacr.org/2008/104
5. Brickell, E., Chen, L., Li, J.: A New Direct Anonymous Attestation Scheme from Bilinear Maps. In: Lipp, P., Sadeghi, A.-R., Koch, K.-M. (eds.) Trust 2008. LNCS, vol. 4968, pp. 166-178. Springer, Heidelberg (2008)
6. Camenisch, J., Groth, J.: Group Signatures: Better efficiency and new Theoretical Aspects. In: Blundo, C., Cimato, S. (eds.) SCN 2004. LNCS, vol. 3352, pp. 122-135. Springer, Heidelberg (2005)
7. Camenisch, J., Lysyanskaya, A.: A Signature Scheme with Efficient Protocols. In: Cimato, S., Galdi, C., Persiano, G. (eds.) SCN 2002. LNCS, vol. 2576, pp. 268-289. Springer, Heidelberg (2003)
8. Camenisch, J., Lysyanskaya, A.: Signature Schemes and Anonymous Credentials from Bilinear Maps. In: Franklin, M. (ed.) CRYPTO 2004. LNCS, vol. 3152, pp. 56-72. Springer, Heidelberg (2004)
9. Chen, L., Morrissey, P., Smart, N.P.: Pairings in Trusted Computing. In: Galbraith, S.D., Paterson, K.G. (eds.) Pairing 2008. LNCS, vol. 5209, pp. 1-17. Springer, Heidelberg (2008)
10. Ge, H., Tate, S.R.: A Direct Anonymous Attestation Scheme for Embedded Devices. In: Okamoto, T., Wang, X. (eds.) PKC 2007. LNCS, vol. 4450, Springer, Heidelberg (2007)
11. Leung, A., Mitchell, C.J.: Ninja: Non-Identity Based, Privacy Preserving Authentication for Ubiquitous Environments. In: Krumm, J., Abowd, G.D., Seneviratne, A., Strang, T. (eds.) UbiComp 2007. LNCS, vol. 4717, pp. 73-90. Springer, Heidelberg (2007)
12. Smyth, B., Chen, L., Ryan, M.: Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. In: Stajano, F., Meadows, C., Capkun, S., Moore, T. (eds.) ESAS 2007. LNCS, vol. 4572, pp. 218-231. Springer, Heidelberg (2007)