{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T00:39:03Z","timestamp":1743727143312,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642322976"},{"type":"electronic","value":"9783642322983"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32298-3_21","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T05:11:11Z","timestamp":1341983471000},"page":"338-350","source":"Crossref","is-referenced-by-count":1,"title":["DAA Protocol Analysis and Verification"],"prefix":"10.1007","author":[{"given":"Yu","family":"Qin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaobo","family":"Chu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dengguo","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Bruschi, D., Cavallaro, L., Lanzi, A., Monga, M.: Replay attack in TCG specification and solution. In: Proceeding of 21st Annual Computer Security Applications Conference (ACSAC 2005), pp. 127\u2013137. IEEE Computer Society (2005)","DOI":"10.1109\/CSAC.2005.47"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Chen, L., Ryan, M.D.: Offline dictionary attack on TCG TPM weak authorisation data, and solution. In: Future of Trust in Computing. Vieweg & Teubner (2008)","DOI":"10.1007\/978-3-8348-9324-6_20"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-12459-4_15","volume-title":"Formal Aspects in Security and Trust","author":"L. Chen","year":"2010","unstructured":"Chen, L., Ryan, M.: Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. In: Degano, P., Guttman, J.D. (eds.) FAST 2009. LNCS, vol.\u00a05983, pp. 201\u2013216. Springer, Heidelberg (2010)"},{"key":"21_CR4","unstructured":"Amerson, H.L.: Automated Analysis of Security APIs. Massachusetts Institute of Technology, USA (2005)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-19751-2_8","volume-title":"Formal Aspects of Security and Trust","author":"S. Delaune","year":"2011","unstructured":"Delaune, S., Kremer, S., Ryan, M.D., Steel, G.: A Formal Analysis of Authentication in the TPM. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol.\u00a06561, pp. 111\u2013125. Springer, Heidelberg (2011)"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1109\/SP.2008.23","volume-title":"Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008)","author":"M. Backes","year":"2008","unstructured":"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 the 2008 IEEE Symposium on Security and Privacy (SP 2008), pp. 202\u2013215. IEEE Computer Society, Washington, DC (2008)"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1145\/1455770.1455816","volume-title":"Proceedings of the 15th ACM Conference on Computer and Communications Security (CCS 2008)","author":"M. Backes","year":"2008","unstructured":"Backes, M., Hri\u0163cu, C., Maffei, M.: Type-checking zero-knowledge. In: Proceedings of the 15th ACM Conference on Computer and Communications Security (CCS 2008), pp. 357\u2013370. ACM, New York (2008)"},{"key":"21_CR8","unstructured":"Murphi, http:\/\/verify.stanford.edu\/dill\/murphi.html"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Brickell, E., Camenisch, J., Chen, L.: Direct anonymous attestation. In: Proceedings of the 11th ACM Conference on Computer and Communications Security, pp. 132\u2013145 (2004)","DOI":"10.1145\/1030083.1030103"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Brickell, E., Li, J.: Enhanced privacy id: a direct anonymous attestation scheme with enhanced revocation capabilities. In: Proceedings of the 2007 ACM Workshop on Privacy in the Electronic Society (WPES 2007), pp. 21\u201330 (2007)","DOI":"10.1145\/1314333.1314337"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-71677-8_2","volume-title":"Public Key Cryptography \u2013 PKC 2007","author":"H. Ge","year":"2007","unstructured":"Ge, H., Tate, S.R.: A Direct Anonymous Attestation Scheme for Embedded Devices. In: Okamoto, T., Wang, X. (eds.) PKC 2007. LNCS, vol.\u00a04450, pp. 16\u201330. Springer, Heidelberg (2007)"},{"key":"21_CR12","unstructured":"Feng, D., Xu, J., Chen, X.: A Forward Secure Direct Anonymous Attestation Scheme. In: WSEAS ACC 2009 (2009)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-68979-9_13","volume-title":"Trusted Computing - Challenges and Applications","author":"E. Brickell","year":"2008","unstructured":"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.\u00a04968, pp. 166\u2013178. Springer, Heidelberg (2008)"},{"key":"21_CR14","unstructured":"Brickell E., Li, J.: Enhanced Privacy ID from Bilinear Pairing. Cryptology ePrint Archive, Report 2009\/095 (2009), http:\/\/eprint.iacr.org\/2009\/095.pdf"},{"key":"21_CR15","series-title":"IFIP","first-page":"443","volume-title":"SEC 2007","author":"C. Rudolph","year":"2007","unstructured":"Rudolph, C.: Covert Identity Information in Direct Anonymous Attestation (DAA). In: Venter, H., Eloff, M., Labuschagne, L., Eloff, J., von Solms, R. (eds.) SEC 2007. IFIP, vol.\u00a0232, pp. 443\u2013448. Springer, Boston (2007)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-68979-9_14","volume-title":"Trusted Computing - Challenges and Applications","author":"A. Leung","year":"2008","unstructured":"Leung, A., Chen, L., Mitchell, C.J.: On a Possible Privacy Flaw in Direct Anonymous Attestation (DAA). In: Lipp, P., Sadeghi, A.-R., Koch, K.-M. (eds.) Trust 2008. LNCS, vol.\u00a04968, pp. 179\u2013190. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Trusted Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32298-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T20:41:33Z","timestamp":1743712893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32298-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642322976","9783642322983"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32298-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}