{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:10:31Z","timestamp":1725531031928},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642014390"},{"type":"electronic","value":"9783642014406"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01440-6_29","type":"book-chapter","created":{"date-parts":[[2009,4,28]],"date-time":"2009-04-28T12:45:40Z","timestamp":1240922740000},"page":"389-405","source":"Crossref","is-referenced-by-count":0,"title":["An Integrity Assurance Mechanism for Run-Time Programs"],"prefix":"10.1007","author":[{"given":"Ziyao","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yeping","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lingli","family":"Deng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Garfinkel, T., Rosenblum, M., Boneh, D.: Flexible os support and applications for trusted computing. In: 9th conference on Hot Topics in Operating Systems, pp. 25\u201325. USENIX Association, Berkeley (2003)"},{"issue":"5","key":"29_CR2","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/1165389.945464","volume":"37","author":"T. Garfinkel","year":"2003","unstructured":"Garfinkel, T., Pfaff, B., Chow, J., Rosenblum, M., Boneh, D.: Terra: a virtual machine-based platform for trusted computing. ACM SIGOPS Oper. Syst. Rev.\u00a037(5), 193\u2013206 (2003)","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"key":"29_CR3","unstructured":"TCG specification architecture overview revision 1.4, https:\/\/www.trustedcomputinggroup.org\/specs\/IWG"},{"key":"29_CR4","unstructured":"Tpm main specification version 1.2 revision 103 part1&2&3, https:\/\/www.trustedcomputinggroup.org\/specs\/TPM\/"},{"key":"29_CR5","first-page":"223","volume-title":"13th conference on USENIX Security Symposium","author":"R. Sailer","year":"2004","unstructured":"Sailer, R., Zhang, X., Jaeger, T., van Doorn, L.: Design and implementation of a tcg-based integrity measurement architecture. In: 13th conference on USENIX Security Symposium, pp. 223\u2013238. USENIX Association, Berkeley (2004)"},{"key":"29_CR6","first-page":"19","volume-title":"11th ACM symposium on Access control models and technologies","author":"T. Jaeger","year":"2006","unstructured":"Jaeger, T., Sailer, R., Shankar, U.: Prima: policy-reduced integrity measurement architecture. In: 11th ACM symposium on Access control models and technologies, pp. 19\u201328. ACM Press, New York (2006)"},{"key":"29_CR7","unstructured":"National Institute of Standards and Technology: Secure Hash Standard (SHA-1). pp. 180\u2013181. Federal Information Processing Standards Publication (1993)"},{"key":"29_CR8","first-page":"1","volume-title":"20th ACM symposium on Operating systems principles","author":"A. Seshadri","year":"2005","unstructured":"Seshadri, A., Luk, M., Shi, E., Perrig, A., van Doorn, L., Khosla, P.: Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems. In: 20th ACM symposium on Operating systems principles, pp. 1\u201316. ACM Press, New York (2005)"},{"key":"29_CR9","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1109\/SP.2005.4","volume-title":"2005 IEEE Symposium on Security and Privacy","author":"E. Shi","year":"2005","unstructured":"Shi, E., Perrig, A., Doorn, L.V.: Bind: A fine-grained attestation service for secure distributed systems. In: 2005 IEEE Symposium on Security and Privacy, pp. 154\u2013168. IEEE Press, Washington (2005)"},{"issue":"6","key":"29_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MC.1974.6323581","volume":"7","author":"R. Goldberg","year":"1974","unstructured":"Goldberg, R.: Survey of Virtual Machine Research. IEEE Computer\u00a07(6), 34\u201345 (1974)","journal-title":"IEEE Computer"},{"key":"29_CR11","unstructured":"AMD Corporation: Secure virtual machine architecture reference manual. Technical report (2005)"},{"key":"29_CR12","unstructured":"Intel Corporation: Intel vanderpool technology for ia-32 processors(vt-x) preliminary specification. Technical Report, Intel C97063-001 (2005)"},{"issue":"5","key":"29_CR13","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/1165389.945462","volume":"37","author":"P. Barham","year":"2003","unstructured":"Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the art of virtualization. ACM SIGOPS Oper. Syst. Rev.\u00a037(5), 164\u2013177 (2003)","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"key":"29_CR14","first-page":"305","volume-title":"15th conference on USENIX Security Symposium","author":"S. Berger","year":"2006","unstructured":"Berger, S., C\u00e1ceres, R., Goldman, K.A., Perez, R., Sailer, R., van Doorn, L.: vtpm: Virtualizing the trusted platform module. In: 15th conference on USENIX Security Symposium, pp. 305\u2013320. USENIX Association, Berkeley (2006)"},{"key":"29_CR15","first-page":"132","volume-title":"11th ACM conference on Computer and communications security","author":"E. Brickell","year":"2004","unstructured":"Brickell, E., Camenisch, J., Chen, L.: Direct anonymous attestation. In: 11th ACM conference on Computer and communications security, pp. 132\u2013145. ACM Press, New York (2004)"},{"key":"29_CR16","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1109\/SECPRI.2004.1301329","volume-title":"2004 IEEE Symposium on Security and Privacy","author":"A. Seshadri","year":"2004","unstructured":"Seshadri, A., Perrig, A., Doorn, L.V., Khosla, P.: Swatt: Software-based attestation for embedded devices. In: 2004 IEEE Symposium on Security and Privacy, pp. 272\u2013282. IEEE Press, Washington (2004)"},{"key":"29_CR17","first-page":"3","volume-title":"3rd conference on Virtual Machine Research And Technology Symposium","author":"V. Haldar","year":"2004","unstructured":"Haldar, V., Chandra, D., Franz, M.: Semantic remote attestation: a virtual machine directed approach to trusted computing. In: 3rd conference on Virtual Machine Research And Technology Symposium, p. 3. USENIX Association, Berkeley (2004)"},{"key":"29_CR18","first-page":"67","volume-title":"2004 workshop on New security paradigms","author":"A.R. Sadeghi","year":"2004","unstructured":"Sadeghi, A.R., Stuble, C.: Property-based attestation for computing platforms: caring about properties, not mechanisms. In: 2004 workshop on New security paradigms, pp. 67\u201377. ACM Press, New York (2004)"},{"key":"29_CR19","first-page":"308","volume-title":"11th ACM conference on Computer and communications security","author":"R. Sailer","year":"2004","unstructured":"Sailer, R., Jaeger, T., Zhang, X., van Doorn, L.: Attestation-based policy enforcement for remote access. In: 11th ACM conference on Computer and communications security, pp. 308\u2013317. ACM Press, New York (2004)"},{"key":"29_CR20","unstructured":"Shankar, U., Jaeger, T., Sailer, R.: Toward automated information-flow integrity verification for security-critical applications. In: 2006 ISOC Networked and Distributed Systems Security Symposium, San Diego (2006)"},{"key":"29_CR21","unstructured":"Maruyama, H., Seliger, F., Nagaratnam, N., Ebringer, T., Munetoh, S., Yoshihama, S., Nakamura, T.: Trusted platform on demand. Technical Report RT0564, IBM Tokyo Research Laboratory (2004)"},{"key":"29_CR22","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/1063979.1064005","volume-title":"10th ACM symposium on Access control models and technologies","author":"R. Sandhu","year":"2005","unstructured":"Sandhu, R., Zhang, X.: Peer-to-peer access control architecture using trusted computing technology. In: 10th ACM symposium on Access control models and technologies, pp. 147\u2013158. ACM Press, New York (2005)"},{"key":"29_CR23","first-page":"2","volume-title":"2006 ACM Symposium on Information, computer and communications security","author":"R. Sandhu","year":"2006","unstructured":"Sandhu, R., Ranganathan, K., Zhang, X.: Secure information sharing enabled by trusted computing and pei models. In: 2006 ACM Symposium on Information, computer and communications security, pp. 2\u201312. ACM Press, New York (2006)"},{"issue":"6","key":"29_CR24","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MIC.2005.124","volume":"9","author":"X. Zhang","year":"2005","unstructured":"Zhang, X., Chen, S., Sandhu, R.: Enhancing data authenticity and integrity in p2p systems. IEEE Internet Computing\u00a09(6), 42\u201349 (2005)","journal-title":"IEEE Internet Computing"},{"key":"29_CR25","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/CSAC.2005.13","volume-title":"21st Annual Computer Security Applications Conference","author":"R. Sailer","year":"2005","unstructured":"Sailer, R., Jaeger, T., Valdez, E., Caceres, R., Perez, R., Berger, S., Griffin, J.L., van Doorn, L.: Building a mac-based security architecture for the xen open-source hypervisor. In: 21st Annual Computer Security Applications Conference, pp. 276\u2013285. IEEE Press, Washington (2005)"},{"key":"29_CR26","first-page":"117","volume-title":"2nd ACM symposium on Information, computer and communications security","author":"X. Zhang","year":"2007","unstructured":"Zhang, X., Covington, M.J., Chen, S., Sandhu, R.: Securebus: towards applicationtransparent trusted computing with mandatory access control. In: 2nd ACM symposium on Information, computer and communications security, pp. 117\u2013126. ACM Press, New York (2007)"},{"key":"29_CR27","unstructured":"Griffin, J., Jaeger, T., Perez, R., Sailer, R., van Doorn, L., Caceres, R.: Trusted virtual domains: Toward secure distributed services. In: 1st Workshop on Hot Topics in System Dependability (2005)"}],"container-title":["Lecture Notes in Computer Science","Information Security and Cryptology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01440-6_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,4]],"date-time":"2021-10-04T16:50:14Z","timestamp":1633366214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01440-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642014390","9783642014406"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01440-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}