{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T15:30:25Z","timestamp":1749915025709,"version":"3.37.3"},"reference-count":72,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"NSF","award":["1218817"],"award-info":[{"award-number":["1218817"]}]},{"name":"NSF","award":["1526493"],"award-info":[{"award-number":["1526493"]}]},{"DOI":"10.13039\/501100010287","name":"SaTC","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100010287","id-type":"DOI","asserted-by":"crossref"}]},{"name":"SRC","award":["2015-TS-2632"],"award-info":[{"award-number":["2015-TS-2632"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2018,6,1]]},"DOI":"10.1109\/tc.2017.2780823","type":"journal-article","created":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T19:32:20Z","timestamp":1512675140000},"page":"799-815","source":"Crossref","is-referenced-by-count":8,"title":["Design, Implementation and Verification of Cloud Architecture for Monitoring a Virtual Machine's Security Health"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7335-7367","authenticated-orcid":false,"given":"Tianwei","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruby B.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2015.42"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2897845.2897851"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/2664168.2664180"},{"key":"ref39","first-page":"25","article-title":"A robust integrity\n reporting protocol for remote attestation","author":"stumpf","year":"2006","journal-title":"Proc Workshop Adv Trusted Comput"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516729"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37682-5_23"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-8348-9452-6_4"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85886-7_1"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68979-9_9"},{"article-title":"Tpm library specification","year":"2014","author":"group","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1030083.1030103"},{"key":"ref35","first-page":"10","article-title":"Policy-sealed data: A new\n abstraction for building trusted cloud services","author":"santos","year":"2012","journal-title":"Proc Conf USENIX Security Symp"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1866835.1866843"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993512"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037739"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541947"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694372"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.40"},{"year":"0","author":"enterprise","key":"ref64"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.11"},{"year":"0","key":"ref65","article-title":"Codesonar - static analysis sast software."},{"key":"ref66","first-page":"14","article-title":"Statically detecting likely buffer overflow vulnerabilities","author":"larochelle","year":"2001","journal-title":"Proc Usenix Security Symp"},{"key":"ref29","article-title":"vTPM: Virtualizing the trusted platform module","author":"berger","year":"2006","journal-title":"Proc Conf USENIX Security Symp"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"ref68","first-page":"152","article-title":"Flow CAML in a nutshell","author":"simonet","year":"2003","journal-title":"Applied Semantics II Workshop"},{"key":"ref69","first-page":"4","article-title":"Encoding information flow in haskell","author":"li","year":"2006","journal-title":"Proc IEEE Workshop Comput Security Found"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653687"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2484402.2484406"},{"key":"ref20","first-page":"3","article-title":"Semantic\n remote attestation: A virtual machine directed approach to trusted computing","volume":"3","author":"haldar","year":"2004","journal-title":"Proc 3rd Conf Virtual Mach Res Technol Symp"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043580"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377864"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315262"},{"key":"ref23","first-page":"191","article-title":"A virtual machine introspection based architecture for intrusion detection","author":"garfinkel","year":"2003","journal-title":"Proc Symp Netw Distrib Syst"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455779"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68979-9_3"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28641-4_2"},{"year":"0","key":"ref59"},{"year":"0","key":"ref58"},{"article-title":"Scalable Security Architecture for Trusted Software","year":"2010","author":"champagne","key":"ref57"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2010.5416657"},{"key":"ref55","first-page":"87","article-title":"überSpark: Enforcing verifiable object abstractions for\n automated compositional security analysis of a hypervisor","author":"vasudevan","year":"2016","journal-title":"Proc Usenix Security Symp"},{"key":"ref54","first-page":"653","article-title":"CertiKOS: An extensible architecture for building certified\n concurrent os kernels","author":"gu","year":"2016","journal-title":"Proc USENIX Conf Operating System Design and Implementations"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.36"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"article-title":"TCG software stack specification","year":"2003","author":"group","key":"ref10"},{"key":"ref11","first-page":"16","article-title":"Design and implementation of a\n TCG-based integrity measurement architecture","author":"sailer","year":"2004","journal-title":"Proc Conf USENIX Security Symp"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85886-7_3"},{"key":"ref12","first-page":"19","article-title":"PRIMA:\n Policy-reduced integrity measurement architecture","author":"jaeger","year":"2006","journal-title":"Proc 14th ACM Symp Access Control Models Technol"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2005.4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095812"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945464"},{"key":"ref16","first-page":"67","article-title":"Property-based attestation for computing platforms: Caring about properties, not\n mechanisms","author":"sadeghi","year":"2004","journal-title":"Proc Workshop New Security Paradigms"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/NSS.2009.83"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1179474.1179479"},{"article-title":"Property\n attestation-scalable and privacy-friendly security assessment of peer computers","year":"2004","author":"poritz","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382228"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382230"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750422"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3052978"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930138"},{"article-title":"Architectures for Secure Cloud Computing Servers","year":"2013","author":"szefer","key":"ref7"},{"year":"0","key":"ref49"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-011-0124-7"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"year":"0","key":"ref45"},{"year":"0","key":"ref48"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2014.42"},{"year":"0","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945462"},{"year":"0","key":"ref44"},{"year":"0","key":"ref43"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/12\/8356015\/8169039-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/8356015\/08169039.pdf?arnumber=8169039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:55:50Z","timestamp":1649444150000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8169039\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,1]]},"references-count":72,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tc.2017.2780823","relation":{},"ISSN":["0018-9340"],"issn-type":[{"type":"print","value":"0018-9340"}],"subject":[],"published":{"date-parts":[[2018,6,1]]}}}