{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:38:06Z","timestamp":1742999886787,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027031"},{"type":"electronic","value":"9783642027048"}],"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-02704-8_10","type":"book-chapter","created":{"date-parts":[[2009,6,29]],"date-time":"2009-06-29T13:32:50Z","timestamp":1246282370000},"page":"120-133","source":"Crossref","is-referenced-by-count":1,"title":["SAConf: Semantic Attestation of Software Configurations"],"prefix":"10.1007","author":[{"given":"Hua","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yao","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangqun","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1179474.1179479","volume-title":"The 1st ACM Workshop on Scalable Trusted Computing","author":"L. Chen","year":"2006","unstructured":"Chen, L., Landfermann, R., Lohr, H., Rohe, M., Sadeghi, A.-R., Stable, C.: A Protocol for Property-Based Attestation. In: The 1st ACM Workshop on Scalable Trusted Computing, Alexandria, Virginia, USA, pp. 7\u201316. ACM, New York (2006)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Garay, J.A., Huelsbergen, L.: Software Integrity Protection Using Timed Executable Agents. In: The 2006 ACM Symposium on Information, Computer and Communications Security, Taipei, Taiwan, pp. 189\u2013200 (2006)","DOI":"10.1145\/1128817.1128847"},{"key":"10_CR3","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: The 19th Symposium on Operating System Principles, Bolton Landing, New York, USA, pp. 193\u2013206 (2003)","DOI":"10.1145\/945445.945464"},{"key":"10_CR4","unstructured":"Haldar, V., Chandra, D., Franz, M.: Semantic Remote Attestation - A Virtual Machine Directed Approach to Trusted Computing. In: The Third Usenix Virtual Machine Research and Technology Symposium, San Jose, CA, USA, pp. 29\u201341 (2004)"},{"key":"10_CR5","first-page":"19","volume-title":"The 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: The 11th ACM Symposium on Access Control Models and Technologies, Lake Tahoe, California, USA, pp. 19\u201328. ACM Press, New York (2006)"},{"key":"10_CR6","unstructured":"Kennell, R., Jamieson, L.H.: Establishing the Genuinity of Remote Computer Systems. In: The 12th USENIX Security Symposium, Washington, DC, USA, pp. 295\u2013308 (2003)"},{"key":"10_CR7","unstructured":"Loscocco, P., Smalley, S.: Integrating Flexible Support for Security Policies into the Linux Operating System. In: FREENIX Track: 2001 USENIX Annual Technical Conference, Boston, Massachusetts, USA, pp. 29\u201342 (2001)"},{"key":"10_CR8","unstructured":"Maruyama, H., Seliger, F., Nagaratnam, N., Ebringer, T., Munetoh, S., Yoshihama, S., Nakamura, T.: Trusted Platform on Demand. Technical Report RT0564, IBM (February 2004)"},{"key":"10_CR9","unstructured":"Microsoft. Secure Startup - Full Volume Encryption: Technical Overview (April 2005)"},{"issue":"3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1109\/TMC.2005.44","volume":"4","author":"T. Park","year":"2005","unstructured":"Park, T., Shin, K.G.: Soft Tamper-Proofing via Program Integrity Verification in Wireless Sensor Networks. IEEE Transactions on Mobile Computing\u00a04(3), 297\u2013309 (2005)","journal-title":"IEEE Transactions on Mobile Computing"},{"key":"10_CR11","unstructured":"Poritz, J., Schunter, M., Van Herreweghen, E., Waidner, M.: Property Attestation - Scalable and Privacy-friendly Security Assessment of Peer Computers. Technical Report RZ 3548, IBM Zurich Research Laboratory (October 2004)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Sadeghi, A.-R., Stuble, C.: Property-based Attestation For Computing Platforms: Caring about Properties, Not Mechanisms. In: The 2004 workshop on New Security Paradigms, Nova Scotia, Canada, pp. 67\u201377 (2004)","DOI":"10.1145\/1065907.1066038"},{"key":"10_CR13","first-page":"308","volume-title":"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: The 11th ACM Conference on Computer and Communications Security, Washington, DC, USA, pp. 308\u2013317. ACM Press, New York (2004)"},{"key":"10_CR14","unstructured":"Sailer, R., Zhang, X., Jaeger, T., van Doorn, L.: Design and Implementation of a TCG-based Integrity Measurement Architecture. In: 13th USENIX Security Symposium, San Diego, California, pp. 223\u2013238 (2004)"},{"key":"10_CR15","first-page":"253","volume-title":"Advances in Information Security","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: Advances in Information Security, vol.\u00a027, pp. 253\u2013289. Springer, US (2005)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Seshadri, A., Perrig, A., van Doorn, L., Khosla, P.: SWATT: SoftWare-based ATTestation for Embedded Devices. In: The 2004 Symposium on Security and Privacy, pp. 272\u2013282 (2004)","DOI":"10.1109\/SECPRI.2004.1301329"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11601494_3","volume-title":"Security and Privacy in Ad-hoc and Sensor Networks","author":"M. Shaneck","year":"2005","unstructured":"Shaneck, M., Mahadevan, K., Kher, V., Kim, Y.: Remote Software-Based Attestation for Wireless Sensors. In: Molva, R., Tsudik, G., Westhoff, D. (eds.) ESAS 2005. LNCS, vol.\u00a03813, pp. 27\u201341. Springer, Heidelberg (2005)"},{"key":"10_CR18","unstructured":"Shankar, U., Chew, M., Tygar, J.D.: Side Effects Are Not Sufficient to Authenticate Software. In: The 13th USENIX Security Symposium, pp. 89\u2013102 (2004)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Shi, E., Perrig, A., Van Doorn, L.: BIND: A Fine-grained Attestation Service for Secure Distributed Systems. In: IEEE Symposium on Security and Privacy, pp. 154\u2013168 (2005)","DOI":"10.1109\/SP.2005.4"},{"key":"10_CR20","unstructured":"TCG. TPM Main Part 1 Design Principles (March 2006)"},{"key":"10_CR21","unstructured":"TCG. TCG Specification Architecture Overview (August 2007)"},{"key":"10_CR22","first-page":"219","volume-title":"The 26th IEEE International Symposium on Reliable Distributed Systems","author":"Y. Yang","year":"2007","unstructured":"Yang, Y., Wang, X., Zhu, S., Cao, G.: Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks. In: The 26th IEEE International Symposium on Reliable Distributed Systems, pp. 219\u2013228. IEEE Computer Society, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02704-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T13:45:26Z","timestamp":1739195126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02704-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027031","9783642027048"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02704-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}