{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T12:45:37Z","timestamp":1772023537783,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,11,3]],"date-time":"2006-11-03T00:00:00Z","timestamp":1162512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,11,3]]},"DOI":"10.1145\/1179474.1179479","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"7-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":130,"title":["A protocol for property-based attestation"],"prefix":"10.1145","author":[{"given":"Liqun","family":"Chen","sequence":"first","affiliation":[{"name":"HP Laboratories, Bristol, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Landfermann","sequence":"additional","affiliation":[{"name":"Ruhr-Universit\u00e4t Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"L\u00f6hr","sequence":"additional","affiliation":[{"name":"Ruhr-Universit\u00e4t Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Rohe","sequence":"additional","affiliation":[{"name":"Ruhr-Universit\u00e4t Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmad-Reza","family":"Sadeghi","sequence":"additional","affiliation":[{"name":"Ruhr-Universit\u00e4t Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"St\u00fcble","sequence":"additional","affiliation":[{"name":"Ruhr-Universit\u00e4t Bochum, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,11,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/882493.884371"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_3_1","volume-title":"1st Workshop on Operating System and Architectural Support for On-Demand IT Infrastructure","author":"Barham P.","year":"2004","unstructured":"P. Barham , B. Dragovich , K. Fraser , S. Hand , A. Ho , and I. Pratt . Safe hardware access with the Xen virtual machine monitor . In 1st Workshop on Operating System and Architectural Support for On-Demand IT Infrastructure , 2004 . P. Barham, B. Dragovich, K. Fraser, S. Hand, A. Ho, and I. Pratt. Safe hardware access with the Xen virtual machine monitor. In 1st Workshop on Operating System and Architectural Support for On-Demand IT Infrastructure, 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030083.1030103"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30598-9_9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/3-540-36413-7_20","volume-title":"Third Conference on Security in Communication Networks - SCN '02","volume":"2576","author":"Camenisch J.","year":"2002","unstructured":"J. Camenisch and A. Lysyanskaya . A signature scheme with efficient protocols . In Third Conference on Security in Communication Networks - SCN '02 , volume 2576 of LNCS, pages 268 -- 289 . Springer-Verlag, Berlin Germany , 2002 . J. Camenisch and A. Lysyanskaya. A signature scheme with efficient protocols. In Third Conference on Security in Communication Networks - SCN '02, volume 2576 of LNCS, pages 268--289. Springer-Verlag, Berlin Germany, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"J.\n      Camenisch\n     and \n      V.\n      Shoup\n  . \n  Practical verifiable encryption and decryption of discrete logarithms\n  . In D. Boneh editor CRYPTO volume \n  2729\n   of \n  Lecture Notes in Computer Science pages \n  126\n  --\n  144\n  . \n  Springer 2003\n  .  J. Camenisch and V. Shoup. Practical verifiable encryption and decryption of discrete logarithms. In D. Boneh editor CRYPTO volume 2729 of Lecture Notes in Computer Science pages 126--144. Springer 2003.","DOI":"10.1007\/978-3-540-45146-4_8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001459910006"},{"key":"e_1_3_2_1_10_1","volume-title":"Aug.","author":"Project Sponsoring Organisations Common Criteria","year":"1999","unstructured":"Common Criteria Project Sponsoring Organisations . Common Criteria for Information Technology Security Evaluation , Aug. 1999 . Version 2.1, adopted by ISO\/IEC as ISO\/IEC International Standard (IS) 15408 1-3. Available from http:\/\/csrc.ncsl.nist.gov\/cc\/ccv20\/ccv2list.htm. Common Criteria Project Sponsoring Organisations. Common Criteria for Information Technology Security Evaluation, Aug. 1999. Version 2.1, adopted by ISO\/IEC as ISO\/IEC International Standard (IS) 15408 1-3. Available from http:\/\/csrc.ncsl.nist.gov\/cc\/ccv20\/ccv2list.htm."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.955100"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1212691"},{"key":"e_1_3_2_1_13_1","series-title":"LNCS","first-page":"186","volume-title":"Advances in Cryptology -- CRYPTO '86","author":"Fiat A.","year":"1987","unstructured":"A. Fiat and A. Shamir . How to prove yourself: Practical solutions to identification and signature problems . In A. M. Odlyzko, editor, Advances in Cryptology -- CRYPTO '86 , volume 263 of LNCS , pages 186 -- 194 , Santa Barbara, CA , USA, 1987 . International Association for Cryptologic Research, Springer-Verlag , Berlin Germany. A. Fiat and A. Shamir. How to prove yourself: Practical solutions to identification and signature problems. In A. M. Odlyzko, editor, Advances in Cryptology -- CRYPTO '86, volume 263 of LNCS, pages 186--194, Santa Barbara, CA, USA, 1987. International Association for Cryptologic Research, Springer-Verlag, Berlin Germany."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945464"},{"key":"e_1_3_2_1_15_1","unstructured":"T. C. Group. TCG software stack specification. http:\/\/trustedcomputinggroup.org Aug. 2003. Version 1.1.  T. C. Group. TCG software stack specification. http:\/\/trustedcomputinggroup.org Aug. 2003. Version 1.1."},{"key":"e_1_3_2_1_16_1","volume-title":"USENIX Virtual Machine Research and Technology Symposium","author":"Haldar V.","year":"2004","unstructured":"V. Haldar , D. Chandra , and M. Franz . Semantic remote attestation: A virtual machine directed approach to trusted computing . In USENIX Virtual Machine Research and Technology Symposium , May 2004 . also Technical Report No. 03-20, School of Information and Computer Science, University of California, Irvine; October 2003. V. Haldar, D. Chandra, and M. Franz. Semantic remote attestation: A virtual machine directed approach to trusted computing. In USENIX Virtual Machine Research and Technology Symposium, May 2004. also Technical Report No. 03-20, School of Information and Computer Science, University of California, Irvine; October 2003."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945463"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2004.25"},{"key":"e_1_3_2_1_21_1","volume-title":"Building a secure platform for trustworthy computing. White paper","author":"Microsoft Corporation","year":"2002","unstructured":"Microsoft Corporation . Building a secure platform for trustworthy computing. White paper , Microsoft Corporation , Dec. 2002 . Microsoft Corporation. Building a secure platform for trustworthy computing. White paper, Microsoft Corporation, Dec. 2002."},{"key":"e_1_3_2_1_22_1","volume-title":"Microsoft whitepaper on trustworthy computing. Technical report","author":"Mundie C.","year":"2002","unstructured":"C. Mundie , P. de Vries , P. Haynes , and M. Corwine . Microsoft whitepaper on trustworthy computing. Technical report , Microsoft Corporation , Oct. 2002 . C. Mundie, P. de Vries, P. Haynes, and M. Corwine. Microsoft whitepaper on trustworthy computing. Technical report, Microsoft Corporation, Oct. 2002."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277752"},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-46766-1_9","volume-title":"Advances in Cryptology -- CRYPTO '91","author":"Pedersen T. P.","year":"1992","unstructured":"T. P. Pedersen . Non-interactive and information-theoretic secure verifiable secret sharing . In J. Feigenbaum, editor, Advances in Cryptology -- CRYPTO '91 , volume 576 of LNCS , pages 129 -- 140 . International Association for Cryptologic Research, Springer-Verlag, Berlin Germany , 1992 . Extended abstract. T. P. Pedersen. Non-interactive and information-theoretic secure verifiable secret sharing. In J. Feigenbaum, editor, Advances in Cryptology -- CRYPTO '91, volume 576 of LNCS, pages 129--140. International Association for Cryptologic Research, Springer-Verlag, Berlin Germany, 1992. Extended abstract."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/882495.884436"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","first-page":"286","volume-title":"Information Security Applications","author":"Sadeghi A.-R.","year":"2003","unstructured":"A.-R. Sadeghi and C. St\u00fcble . Taming ``trusted computing'' by operating system design . In Information Security Applications , volume 2908 of LNCS , pages 286 -- 302 . Springer-Verlag , Berlin Germany , 2003 . A.-R. Sadeghi and C. St\u00fcble. Taming ``trusted computing'' by operating system design. In Information Security Applications, volume 2908 of LNCS, pages 286--302. Springer-Verlag, Berlin Germany, 2003."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065907.1066038"},{"key":"e_1_3_2_1_30_1","volume-title":"IBM Research","author":"Safford D.","year":"2002","unstructured":"D. Safford . Clarifying misinformation on TCPA. White paper , IBM Research , Oct. 2002 . D. Safford. Clarifying misinformation on TCPA. White paper, IBM Research, Oct. 2002."},{"key":"e_1_3_2_1_31_1","volume-title":"IBM Research","author":"Safford D.","year":"2002","unstructured":"D. Safford . The need for TCPA. White paper , IBM Research , Oct. 2002 . D. Safford. The need for TCPA. White paper, IBM Research, Oct. 2002."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2005.13"},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of the 13th USENIX Security Symposium. USENIX","author":"Sailer R.","year":"2004","unstructured":"R. Sailer , X. Zhang , T. Jaeger , and L. van Doorn . Design and implementation of a TCG-based integrity measurement architecture . In Proceedings of the 13th USENIX Security Symposium. USENIX , Aug. 2004 . R. Sailer, X. Zhang, T. Jaeger, and L. van Doorn. Design and implementation of a TCG-based integrity measurement architecture. In Proceedings of the 13th USENIX Security Symposium. USENIX, Aug. 2004."},{"key":"e_1_3_2_1_35_1","volume-title":"TPM main specification. Main Specification Version 1.2 rev. 85","author":"Trusted~Computing Group","year":"2005","unstructured":"Trusted~Computing Group . TPM main specification. Main Specification Version 1.2 rev. 85 , Trusted Computing Group , Feb. 2005 . Trusted~Computing Group. TPM main specification. Main Specification Version 1.2 rev. 85, Trusted Computing Group, Feb. 2005."},{"key":"e_1_3_2_1_36_1","volume-title":"Feb.","author":"Platform Trusted Computing","year":"2002","unstructured":"Trusted Computing Platform Alliance (TCPA). Main specification , Feb. 2002 . Version 1.1b. Trusted Computing Platform Alliance (TCPA). Main specification, Feb. 2002. Version 1.1b."}],"event":{"name":"CCS06: 13th ACM Conference on Computer and Communications Security 2006","location":"Alexandria Virginia USA","acronym":"CCS06","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the first ACM workshop on Scalable trusted computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1179474.1179479","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1179474.1179479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:45Z","timestamp":1750278165000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1179474.1179479"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,3]]},"references-count":30,"alternative-id":["10.1145\/1179474.1179479","10.1145\/1179474"],"URL":"https:\/\/doi.org\/10.1145\/1179474.1179479","relation":{},"subject":[],"published":{"date-parts":[[2006,11,3]]},"assertion":[{"value":"2006-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}