{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:28:05Z","timestamp":1725524885353},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005862"},{"type":"electronic","value":"9783642005879"}],"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-00587-9_6","type":"book-chapter","created":{"date-parts":[[2009,2,17]],"date-time":"2009-02-17T05:45:02Z","timestamp":1234849502000},"page":"81-100","source":"Crossref","is-referenced-by-count":11,"title":["Measuring Semantic Integrity for Remote Attestation"],"prefix":"10.1007","author":[{"given":"Fabrizio","family":"Baiardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Cilea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Sgandurra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Ceccarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"235","volume-title":"CCS 2007: Proceedings of the 14th ACM conference on Computer and communications security","author":"S. Cabuk","year":"2007","unstructured":"Cabuk, S., Dalton, C.I., Ramasamy, H., Schunter, M.: Towards automated provisioning of secure virtualized networks. In: CCS 2007: Proceedings of the 14th ACM conference on Computer and communications security, pp. 235\u2013245. ACM, New York (2007)"},{"unstructured":"Griffin, J., Jaeger, T., Perez, R., Sailer, R., van Doorn, L., Caceres, R.: Trusted Virtual Domains: Toward secure distributed services. In: Proc. of 1st IEEE Workshop on Hot Topics in System Dependability (HotDep) (2005)","key":"6_CR2"},{"doi-asserted-by":"crossref","unstructured":"Garfinkel, T., Pfaff, B., Chow, J., Rosenblum, M., Boneh, D.: Terra: A virtual machine-based platform for trusted computing. In: Proceedings of the 19th Symposium on Operating System Principles(SOSP 2003) (October 2003)","key":"6_CR3","DOI":"10.1145\/945445.945464"},{"unstructured":"Sailer, R., Zhang, X., Jaeger, T.: Design and implementation of a TCG-based integrity measurement architecture. In: Proceedings of the 13th conference on USENIX Security Symposium, pp. 223\u2013238 (2004)","key":"6_CR4"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/1314354.1314371","volume-title":"STC 2007: Proceedings of the 2007 ACM workshop on Scalable trusted computing","author":"D. Kyle","year":"2007","unstructured":"Kyle, D., Brustoloni, J.C.: Uclinux: a linux security module for trusted-computing-based usage controls enforcement. In: STC 2007: Proceedings of the 2007 ACM workshop on Scalable trusted computing, pp. 63\u201370. ACM, New York (2007)"},{"doi-asserted-by":"crossref","unstructured":"Jansen, B., Ramasamy, H., Schunter, M.: Policy enforcement and compliance proofs for Xen virtual machines. In: Proceedings of the fourth ACM SIGPLAN\/SIGOPS international conference on Virtual execution environments, pp. 101\u2013110 (2008)","key":"6_CR6","DOI":"10.1145\/1346256.1346271"},{"key":"6_CR7","first-page":"308","volume-title":"CCS 2004: Proceedings of the 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: CCS 2004: Proceedings of the 11th ACM conference on Computer and communications security, pp. 308\u2013317. ACM, New York (2004)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1095810.1095812","volume-title":"SOSP 2005: Proceedings of the twentieth 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: SOSP 2005: Proceedings of the twentieth ACM symposium on Operating systems principles, pp. 1\u201316. ACM, New York (2005)"},{"key":"6_CR9","first-page":"67","volume-title":"NSPW 2004: Proceedings of the 2004 workshop on New security paradigms","author":"A.R. Sadeghi","year":"2004","unstructured":"Sadeghi, A.R., St\u00fcble, C.: Property-based attestation for computing platforms: caring about properties, not mechanisms. In: NSPW 2004: Proceedings of the 2004 workshop on New security paradigms, pp. 67\u201377. ACM, New York (2004)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1179474.1179479","volume-title":"Proceedings of the first ACM workshop on Scalable trusted computing","author":"L. Chen","year":"2006","unstructured":"Chen, L., Landfermann, R., L\u00f6hr, H., Rohe, M., Sadeghi, A., St\u00fcble, C.: A protocol for property-based attestation. In: Proceedings of the first ACM workshop on Scalable trusted computing, pp. 7\u201316. ACM, New York (2006)"},{"unstructured":"Poritz, J., Schunter, M., Van Herreweghen, E., Waidner, M.: Property attestation: scalable and privacy-friendly security assessment of peer computers. Research Report RZ3548, IBM Corporation (May 2004)","key":"6_CR11"},{"unstructured":"Petroni Jr., N., Fraser, T., Walters, A., Arbaugh, W.: An Architecture for Specification-Based Detection of Semantic Integrity Violations in Kernel Dynamic Data. In: Proc. of the 15th USENIX Security Symposium (2006)","key":"6_CR12"},{"unstructured":"Haldar, V., Chandra, D., Franz, M.: Semantic remote attestation: a virtual machine directed approach to trusted computing. In: VM 2004: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium, Berkeley, CA, USA, p. 3. USENIX Association (2004)","key":"6_CR13"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1133058.1133063","volume-title":"Proceedings of the eleventh 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: Proceedings of the eleventh ACM symposium on Access control models and technologies, pp. 19\u201328. ACM, New York (2006)"},{"unstructured":"Pearson, S.: Trusted Computing Platforms, the Next Security Solution. Beaverton. Trusted Computing Group Administration, USA (2002)","key":"6_CR15"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/1314354.1314362","volume-title":"STC 2007: Proceedings of the 2007 ACM workshop on Scalable trusted computing","author":"P.A. Loscocco","year":"2007","unstructured":"Loscocco, P.A., Wilson, P.W., Pendergrass, J.A., McDonell, C.D.: Linux kernel integrity measurement using contextual inspection. In: STC 2007: Proceedings of the 2007 ACM workshop on Scalable trusted computing, pp. 21\u201329. ACM, New York (2007)"},{"unstructured":"Bajikar, S.: Trusted Platform Module (TPM) based Security on Notebook PCs-White Paper. Mobile Platforms Group, Intel Corporation (June 20, 2002)","key":"6_CR17"},{"unstructured":"Intel: Trusted Execution Technology, \n                    \n                      http:\/\/www.intel.com\/technology\/security","key":"6_CR18"},{"unstructured":"Berger, S., C\u00e1ceres, R., Goldman, K.A., Perez, R., Sailer, R., van Doorn, L.: vtpm: virtualizing the trusted platform module. In: USENIX-SS\u201906: Proceedings of the 15th conference on USENIX Security Symposium, Berkeley, CA, USA, p. 21. USENIX Association (2006)","key":"6_CR19"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-68979-9_9","volume-title":"Trusted Computing - Challenges and Applications","author":"P. England","year":"2008","unstructured":"England, P., Loeser, J.: Para-Virtualized TPM Sharing. In: Lipp, P., Sadeghi, A.-R., Koch, K.-M. (eds.) Trust 2008. LNCS, vol.\u00a04968, pp. 119\u2013132. Springer, Heidelberg (2008)"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/844128.844148","volume":"36","author":"G. Dunlap","year":"2002","unstructured":"Dunlap, G., King, S., Cinar, S., Basrai, M., Chen, P.: ReVirt: enabling intrusion analysis through virtual-machine logging and replay. ACM SIGOPS Operating Systems Review\u00a036, 211\u2013224 (2002)","journal-title":"ACM SIGOPS Operating Systems Review"},{"unstructured":"Garfinkel, T., Rosenblum, M.: A virtual machine introspection based architecture for intrusion detection. In: Proc. Network and Distributed Systems Security Symposium (February 2003)","key":"6_CR22"},{"unstructured":"SourceForge.net: Trusted Boot, \n                    \n                      http:\/\/sourceforge.net\/projects\/tboot","key":"6_CR23"},{"unstructured":"Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Pratt, I., Warfield, A., Barham, P., Neugebauer, R.: Xen and the art of virtualization. In: Proceedings of the ACM Symposium on Operating Systems Principles (October 2003)","key":"6_CR24"},{"unstructured":"Sgandurra, D., Baiardi, F., Maggiari, D., Tamberi, F.: Transparent Process Monitoring in a Virtual Environment. In: Proceedings of the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro. ENTCS, Elsevier ScienceDirect (to appear) (2008)","key":"6_CR25"},{"doi-asserted-by":"crossref","unstructured":"Tamberi, F., Maggiari, D., Sgandurra, D., Baiardi, F.: Semantics-Driven Introspection in a Virtual Environment. In: Proceedings of the Fourth International Conference on Information Assurance and Security (IAS 2008), pp. 299\u2013302 (2008)","key":"6_CR26","DOI":"10.1109\/IAS.2008.17"},{"unstructured":"OpenVPN: An Open Source SSL VPN Solution, \n                    \n                      http:\/\/openvpn.net\/","key":"6_CR27"},{"unstructured":"TPM\/J: Java-based API for the Trusted Platform Module (TPM), \n                    \n                      http:\/\/projects.csail.mit.edu\/tc\/tpmj\/","key":"6_CR28"},{"unstructured":"IOzone: Filesystem Benchmark, \n                    \n                      http:\/\/www.iozone.org\/","key":"6_CR29"},{"issue":"3","key":"6_CR30","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/306225.306235","volume":"26","author":"D. Mosberger","year":"1998","unstructured":"Mosberger, D., Jin, T.: httperf: a tool for measuring web server performance. ACM SIGMETRICS Performance Evaluation Review\u00a026(3), 31\u201337 (1998)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"}],"container-title":["Lecture Notes in Computer Science","Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00587-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T04:56:25Z","timestamp":1551761785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00587-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005862","9783642005879"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00587-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}