{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:01Z","timestamp":1750220401673,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T00:00:00Z","timestamp":1630886400000},"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":[[2021,9,6]]},"DOI":"10.1145\/3479394.3479418","type":"proceedings-article","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:23:02Z","timestamp":1633645382000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Automated Trust Analysis of Copland Specifications\u00a0for\u00a0Layered\u00a0Attestations\u2731"],"prefix":"10.1145","author":[{"given":"Paul D.","family":"Rowe","sequence":"first","affiliation":[{"name":"The MITRE Corporation, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John D.","family":"Ramsdell","sequence":"additional","affiliation":[{"name":"The MITRE Corporation, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian D.","family":"Kretz","sequence":"additional","affiliation":[{"name":"The MITRE Corporation, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945462"},{"key":"e_1_3_2_1_2_1","unstructured":"H. Birkholz D. Thaler M. Richardson N. Smith and W. Pan. 2021. Remote Attestation Procedures Architecture. https:\/\/datatracker.ietf.org\/doc\/draft-ietf-rats-architecture\/(Accessed 22-Feb-2021).  H. Birkholz D. Thaler M. Richardson N. Smith and W. Pan. 2021. Remote Attestation Procedures Architecture. https:\/\/datatracker.ietf.org\/doc\/draft-ietf-rats-architecture\/(Accessed 22-Feb-2021)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-011-0124-7"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.16"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 4th ACM Workshop on Scalable Trusted Computing, STC 2009","author":"Davi Lucas","year":"2009","unstructured":"Lucas Davi , Ahmad-Reza Sadeghi , and Marcel Winandy . 2009 . Dynamic integrity measurement and attestation: towards defense against return-oriented programming attacks . In Proceedings of the 4th ACM Workshop on Scalable Trusted Computing, STC 2009 , Chicago, Illinois, USA , November 13, 2009. 49\u201354. Lucas Davi, Ahmad-Reza Sadeghi, and Marcel Winandy. 2009. Dynamic integrity measurement and attestation: towards defense against return-oriented programming attacks. In Proceedings of the 4th ACM Workshop on Scalable Trusted Computing, STC 2009, Chicago, Illinois, USA, November 13, 2009. 49\u201354."},{"volume-title":"A mathematical introduction to logic","author":"Enderton B.","key":"e_1_3_2_1_6_1","unstructured":"Herbert\u00a0 B. Enderton . 2001. A mathematical introduction to logic . Academic Press . Herbert\u00a0B. Enderton. 2001. A mathematical introduction to logic. Academic Press."},{"volume-title":"Geolog and Skolem Machines","author":"Fisher John","key":"e_1_3_2_1_7_1","unstructured":"John Fisher and Marc Bezem . 2007. Geolog and Skolem Machines . California State Polytechnic and University of Bergen . https:\/\/www.cpp.edu\/~jrfisher\/www\/prolog_tutorial\/logic_topics\/geolog\/index.html. John Fisher and Marc Bezem. 2007. Geolog and Skolem Machines. California State Polytechnic and University of Bergen. https:\/\/www.cpp.edu\/~jrfisher\/www\/prolog_tutorial\/logic_topics\/geolog\/index.html."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Jason Gevargizian and Prasad Kulkarni. 2018. MSRR: Measurement Framework For Remote Attestation. In 2018 IEEE 16th Intl Conf on Dependable Autonomic and Secure Computing 16th Intl Conf on Pervasive Intelligence and Computing 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress DASC\/PiCom\/DataCom\/CyberSciTech 2018 Athens Greece August 12-15 2018. IEEE Computer Society 748\u2013753.  Jason Gevargizian and Prasad Kulkarni. 2018. MSRR: Measurement Framework For Remote Attestation. In 2018 IEEE 16th Intl Conf on Dependable Autonomic and Secure Computing 16th Intl Conf on Pervasive Intelligence and Computing 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress DASC\/PiCom\/DataCom\/CyberSciTech 2018 Athens Greece August 12-15 2018. IEEE Computer Society 748\u2013753.","DOI":"10.1109\/DASC\/PiCom\/DataCom\/CyberSciTec.2018.00130"},{"key":"e_1_3_2_1_9_1","unstructured":"Trusted\u00a0Computing Group. 2011. TPM Main Specification Level 2 version 1.2 Parts 1\u20133 Revision 116. https:\/\/trustedcomputinggroup.org\/resource\/tpm-main-specification\/.  Trusted\u00a0Computing Group. 2011. TPM Main Specification Level 2 version 1.2 Parts 1\u20133 Revision 116. https:\/\/trustedcomputinggroup.org\/resource\/tpm-main-specification\/."},{"key":"e_1_3_2_1_10_1","unstructured":"Intel. 2016. Intel\u00ae Software Guard Extensions (Intel\u00ae SGX). https:\/\/software.intel.com\/en-us\/sgx.  Intel. 2016. Intel\u00ae Software Guard Extensions (Intel\u00ae SGX). https:\/\/software.intel.com\/en-us\/sgx."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270348"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1314354.1314362"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2018.8599735"},{"key":"e_1_3_2_1_15_1","unstructured":"Adam Petz. 2021. Personal communication.  Adam Petz. 2021. Personal communication."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2019","author":"Petz Adam","year":"2019","unstructured":"Adam Petz and Perry Alexander . 2019 . A copland attestation manager . In Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2019 , Nashville, TN, USA , April 1-3, 2019, Xenofon\u00a0D. Koutsoukos, Alvaro\u00a0A. C\u00e1rdenas, and Ehab Al-Shaer (Eds.). ACM, 6:1\u20136:10. Adam Petz and Perry Alexander. 2019. A copland attestation manager. In Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2019, Nashville, TN, USA, April 1-3, 2019, Xenofon\u00a0D. Koutsoukos, Alvaro\u00a0A. C\u00e1rdenas, and Ehab Al-Shaer (Eds.). ACM, 6:1\u20136:10."},{"volume-title":"An Infrastructure for Faithful Execution of Remote Attestation Protocols","author":"Petz Adam","key":"e_1_3_2_1_17_1","unstructured":"Adam Petz and Perry Alexander . 2021. An Infrastructure for Faithful Execution of Remote Attestation Protocols . In NASA Formal Methods, Aaron Dutle, Mariano\u00a0M. Moscato, Laura Titolo, C\u00e9sar\u00a0A. Mu\u00f1oz, and Ivan Perez (Eds.). Springer International Publishing , Cham , 268\u2013286. Adam Petz and Perry Alexander. 2021. An Infrastructure for Faithful Execution of Remote Attestation Protocols. In NASA Formal Methods, Aaron Dutle, Mariano\u00a0M. Moscato, Laura Titolo, C\u00e9sar\u00a0A. Mu\u00f1oz, and Ivan Perez (Eds.). Springer International Publishing, Cham, 268\u2013286."},{"volume-title":"Chase Source Repository","author":"Ramsdell D.","key":"e_1_3_2_1_18_1","unstructured":"John\u00a0 D. Ramsdell . 2019. Chase Source Repository . The MITRE Corporation . https:\/\/github.com\/ramsdell\/chase, install with opam install chase. John\u00a0D. Ramsdell. 2019. Chase Source Repository. The MITRE Corporation. https:\/\/github.com\/ramsdell\/chase, install with opam install chase."},{"key":"e_1_3_2_1_19_1","first-page":"197","article-title":"Orchestrating Layered Attestations, In Principles of Security and Trust, Flemming Nielson and David Sands (Eds.)","volume":"11426","author":"Ramsdell D.","year":"2019","unstructured":"John\u00a0 D. Ramsdell , Paul\u00a0 D. Rowe , Perry Alexander , Sarah\u00a0 C. Helble , Peter Loscocco , J.\u00a0 Aaron Pendergrass , and Adam Petz . 2019 . Orchestrating Layered Attestations, In Principles of Security and Trust, Flemming Nielson and David Sands (Eds.) . LNCS 11426 , 197 \u2013 221 . https:\/\/ku-sldg.github.io\/copland\/resources\/copland-post-2019.pdf. John\u00a0D. Ramsdell, Paul\u00a0D. Rowe, Perry Alexander, Sarah\u00a0C. Helble, Peter Loscocco, J.\u00a0Aaron Pendergrass, and Adam Petz. 2019. Orchestrating Layered Attestations, In Principles of Security and Trust, Flemming Nielson and David Sands (Eds.). LNCS 11426, 197\u2013221. https:\/\/ku-sldg.github.io\/copland\/resources\/copland-post-2019.pdf.","journal-title":"LNCS"},{"volume-title":"Bundling Evidence for Layered Attestation","author":"Rowe D.","key":"e_1_3_2_1_20_1","unstructured":"Paul\u00a0 D. Rowe . 2016. Bundling Evidence for Layered Attestation . In Trust and Trustworthy Computing, Michael Franz and Panos Papadimitratos (Eds.). Springer International Publishing , Cham , 119\u2013139. Paul\u00a0D. Rowe. 2016. Bundling Evidence for Layered Attestation. In Trust and Trustworthy Computing, Michael Franz and Panos Papadimitratos (Eds.). Springer International Publishing, Cham, 119\u2013139."},{"volume-title":"Graphical Models for Security, Barbara Kordy, Mathias Ekstedt, and Dong\u00a0Seong Kim (Eds.)","author":"Rowe D.","key":"e_1_3_2_1_21_1","unstructured":"Paul\u00a0 D. Rowe . 2016. Confining Adversary Actions via Measurement . In Graphical Models for Security, Barbara Kordy, Mathias Ekstedt, and Dong\u00a0Seong Kim (Eds.) . Springer International Publishing , Cham , 150\u2013166. Paul\u00a0D. Rowe. 2016. Confining Adversary Actions via Measurement. In Graphical Models for Security, Barbara Kordy, Mathias Ekstedt, and Dong\u00a0Seong Kim (Eds.). Springer International Publishing, Cham, 150\u2013166."},{"key":"e_1_3_2_1_22_1","volume-title":"Copland: Semantics, languages and tools for layered attestation. https:\/\/copland-lang.org\/resources\/chase\/ppdp\/README.","author":"Rowe D.","year":"2021","unstructured":"Paul\u00a0 D. Rowe , John\u00a0 D. Ramsdell , and Ian\u00a0 D. Kretz . 2021 . Copland: Semantics, languages and tools for layered attestation. https:\/\/copland-lang.org\/resources\/chase\/ppdp\/README. Paul\u00a0D. Rowe, John\u00a0D. Ramsdell, and Ian\u00a0D. Kretz. 2021. Copland: Semantics, languages and tools for layered attestation. https:\/\/copland-lang.org\/resources\/chase\/ppdp\/README."},{"key":"e_1_3_2_1_23_1","volume-title":"Razor: Provenance and Exploration in Model-Finding. In 4th Workshop on Practical Aspects of Automated Reasoning (PAAR).","author":"Saghafi Salman","year":"2014","unstructured":"Salman Saghafi and Daniel\u00a0 J. Dougherty . 2014 . Razor: Provenance and Exploration in Model-Finding. In 4th Workshop on Practical Aspects of Automated Reasoning (PAAR). Salman Saghafi and Daniel\u00a0J. Dougherty. 2014. Razor: Provenance and Exploration in Model-Finding. In 4th Workshop on Practical Aspects of Automated Reasoning (PAAR)."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the Seventh ACM Workshop on Scalable Trusted Computing. ACM, 21\u201332","author":"Thober Mark","year":"2012","unstructured":"Mark Thober , J.\u00a0 Aaron Pendergrass , and Andrew\u00a0 D. Jurik . 2012 . JMF: Java Measurement Framework . In Proceedings of the Seventh ACM Workshop on Scalable Trusted Computing. ACM, 21\u201332 . Mark Thober, J.\u00a0Aaron Pendergrass, and Andrew\u00a0D. Jurik. 2012. JMF: Java Measurement Framework. In Proceedings of the Seventh ACM Workshop on Scalable Trusted Computing. ACM, 21\u201332."},{"volume-title":"Microsoft virtualization with Hyper-V","author":"Velte Anthony","key":"e_1_3_2_1_25_1","unstructured":"Anthony Velte and Toby Velte . 2009. Microsoft virtualization with Hyper-V . McGraw-Hill, Inc. Anthony Velte and Toby Velte. 2009. Microsoft virtualization with Hyper-V. McGraw-Hill, Inc."}],"event":{"name":"PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2021","location":"Tallinn Estonia"},"container-title":["23rd International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479418","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3479394.3479418","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:52Z","timestamp":1750191532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":25,"alternative-id":["10.1145\/3479394.3479418","10.1145\/3479394"],"URL":"https:\/\/doi.org\/10.1145\/3479394.3479418","relation":{},"subject":[],"published":{"date-parts":[[2021,9,6]]},"assertion":[{"value":"2021-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}