{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:41:39Z","timestamp":1725864099257},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319458700"},{"type":"electronic","value":"9783319458717"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45871-7_19","type":"book-chapter","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T04:25:24Z","timestamp":1472099124000},"page":"305-322","source":"Crossref","is-referenced-by-count":3,"title":["Policy-Based Implicit Attestation for Microkernel-Based Virtualized Systems"],"prefix":"10.1007","author":[{"given":"Steffen","family":"Wagner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Eckert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,26]]},"reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/978-3-642-13869-0_5","volume-title":"Trust and Trustworthy Computing","author":"S Alsouri","year":"2010","unstructured":"Alsouri, S., Dagdelen, \u00d6., Katzenbeisser, S.: Group-based attestation: enhancing privacy and management in remote attestation. In: Acquisti, A., Smith, S.W., Sadeghi, A.-R. (eds.) TRUST 2010. LNCS, vol. 6101, pp. 63\u201377. Springer, Heidelberg (2010)"},{"key":"19_CR2","unstructured":"Andersen, E., Landley, R., Vlasenko, D., et al.: Busybox. https:\/\/busybox.net"},{"key":"19_CR3","unstructured":"ARM Ltd.: Virtualization extensions architecture specification (2010). http:\/\/infocenter.arm.com"},{"key":"19_CR4","unstructured":"ARM Ltd.: ARM Cortex-A15 technical reference manual. ARM DDI 0438C, September 2011"},{"key":"19_CR5","unstructured":"ARM Ltd.: ARM architecture reference manual. ARMv7-A and ARMv7-R edition. ARM DDI 0406C.b, July 2012"},{"key":"19_CR6","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, CCS 2004, pp. 132\u2013145. ACM, New York (2004). http:\/\/doi.acm.org\/10.1145\/1030083.1030103","DOI":"10.1145\/1030083.1030103"},{"key":"19_CR7","unstructured":"Danial, A.: CLOC - Count Lines of Code. Version 1.67. https:\/\/github.com\/AlDanial\/cloc"},{"key":"19_CR8","unstructured":"Haldar, V., Chandra, D., Franz, M.: Semantic remote attestation: a virtual machine directed approach to trusted computing. In: Proceedings of the 3rd Conference on Virtual Machine Research and Technology Symposium, Berkeley, CA, USA (2004)"},{"key":"19_CR9","unstructured":"Krawczyk, H., Rabin, T.: Chameleon hashing and signatures. IACR Cryptology ePrint Archive (1998)"},{"key":"19_CR10","unstructured":"Genode Labs. http:\/\/www.genode.org"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Liedtke, J.: Microkernels must and can be small. In: Proceedings of the 5th IEEE International Workshop on Object-Orientation in Operating Systems (IWOOOS). Seattle, WA, October 1996. http:\/\/l4ka.org\/publications\/","DOI":"10.1109\/IWOOOS.1996.557909"},{"issue":"3","key":"19_CR12","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1535\/itj.1003.01","volume":"10","author":"G Neiger","year":"2006","unstructured":"Neiger, G., Santoni, A., Leung, F., Rodgers, D., Uhlig, R.: Intel virtualization technology: hardware support for efficient processor virtualization. Intel Technol. J. 10(3), 167\u2013177 (2006)","journal-title":"Intel Technol. J."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Sadeghi, A.R., St\u00fcble, C.: Property-based attestation for computing platforms: caring about properties, not mechanisms. In: Proceedings of the 2004 Workshop on New Security Paradigms, NSPW 2004, pp. 67\u201377. ACM, New York (2004)","DOI":"10.1145\/1065907.1066038"},{"key":"19_CR14","unstructured":"Sailer, R., Zhang, X., Jaeger, T., van Doorn, L.: Design and implementation of a TCG-based integrity measurement architecture. In: Proceedings of the 13th Conference on USENIX Security Symposium, vol. 13, Berkeley, CA, USA (2004)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Sirer, E.G., de Bruijn, W., Reynolds, P., Shieh, A., Walsh, K., Williams, D., Schneider, F.B.: Logical attestation: an authorization architecture for trustworthy computing. In: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP 2011, pp. 249\u2013264. ACM, New York (2011)","DOI":"10.1145\/2043556.2043580"},{"key":"19_CR16","unstructured":"Trusted Computing Group (TCG): TPM Main Specification Version 1.2 rev. 116. http:\/\/www.trustedcomputinggroup.org\/resources\/tpm_main_specification"},{"key":"19_CR17","unstructured":"Trusted Computing Group (TCG): Trusted Platform Module Library Specification. Family \u201c2.0\". Level 00, Revision 01.16. http:\/\/www.trustedcomputinggroup.org\/resources\/tpm_library_specification"},{"key":"19_CR18","unstructured":"TU Dresden OS Group: L4\/Fiasco.OC. http:\/\/os.inf.tu-dresden.de\/fiasco\/"},{"key":"19_CR19","unstructured":"Wagner, S., Proskurin, S., Bakos, T.: TPM 2.0 Simulator Extraction Script (2016). https:\/\/github.com\/stwagnr\/tpm2simulator"}],"container-title":["Lecture Notes in Computer Science","Information Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45871-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T19:15:52Z","timestamp":1568315752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45871-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319458700","9783319458717"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45871-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}