{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:26:28Z","timestamp":1725909988078},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675305"},{"type":"electronic","value":"9783319675312"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67531-2_25","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:33:37Z","timestamp":1504589617000},"page":"390-399","source":"Crossref","is-referenced-by-count":0,"title":["A Wingman for Virtual Appliances"],"prefix":"10.1007","author":[{"given":"Prashanth","family":"Nayak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Hibler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Eide","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"25_CR1","unstructured":"Chokepoint: Azazel userland rootkit, February 2015. \nhttps:\/\/github.com\/chokepoint\/azazel"},{"key":"25_CR2","unstructured":"Coppola, M.: Suterusu rootkit, September 2014. \nhttps:\/\/github.com\/mncoppola\/suterusu"},{"key":"25_CR3","doi-asserted-by":"publisher","unstructured":"Fu, Y., Lin, Z.: Exterior: using a dual-VM based external shell for guest-OS introspection, configuration, and recovery. In: Proceedings VEE, pp. 97\u2013110, March 2013. doi:\n10.1145\/2451512.2451534","DOI":"10.1145\/2451512.2451534"},{"key":"25_CR4","unstructured":"Garfinkel, T., Rosenblum, M.: A virtual machine introspection based architecture for intrusion detection. In: Proceedings NDSS, pp. 191\u2013206, February 2003. \nhttp:\/\/www.isoc.org\/isoc\/conferences\/ndss\/03\/proceedings\/papers\/13.pdf"},{"key":"25_CR5","doi-asserted-by":"publisher","unstructured":"Hofmann, O.S., Dunn, A.M., Kim, S., Roy, I., Witchel, E.: Ensuring operating system kernel integrity with OSck. In: Proceedings ASPLOS, pp. 279\u2013290, March 2011. doi:\n10.1145\/1950365.1950398","DOI":"10.1145\/1950365.1950398"},{"key":"25_CR6","doi-asserted-by":"publisher","unstructured":"Johnson, D., Hibler, M., Eide, E.: Composable multi-level debugging with Stackdb. In: Proceedings VEE, pp. 213\u2013226, March 2014. doi:\n10.1145\/2576195.2576212","DOI":"10.1145\/2576195.2576212"},{"key":"25_CR7","unstructured":"Johnson, D., Nayak, P., Hibler, M., Burtsev, A., Eide, E.: Wingman and Stackdb software, March 2017. \nhttps:\/\/gitlab.flux.utah.edu\/a3\/vmi"},{"key":"25_CR8","doi-asserted-by":"publisher","unstructured":"Joshi, A., King, S.T., Dunlap, G.W., Chen, P.M.: Detecting past and present intrusions through vulnerability-specific predicates. In: Proceedings SOSP, pp. 91\u2013104, October 2005. doi:\n10.1145\/1095810.1095820","DOI":"10.1145\/1095810.1095820"},{"key":"25_CR9","unstructured":"Landesman, M.: Apache Darkleech compromises, 2 April 2013. \nhttp:\/\/blogs.cisco.com\/security\/apache-darkleech-compromises"},{"key":"25_CR10","doi-asserted-by":"publisher","unstructured":"Loscocco, P.A., Wilson, P.W., Pendergrass, J.A., McDonell, C.D.: Linux kernel integrity measurement using contextual inspection. In: Proceedings ACM Workshop on Scalable Trusted Computing (STC), pp. 21\u201329, November 2007. doi:\n10.1145\/1314354.1314362","DOI":"10.1145\/1314354.1314362"},{"key":"25_CR11","unstructured":"Nayak, P.: Detecting and mitigating malware in virtual appliances. Master\u2019s thesis, University of Utah, December 2014. \nhttp:\/\/www.flux.utah.edu\/paper\/pnayak-thesis"},{"key":"25_CR12","doi-asserted-by":"publisher","unstructured":"Ostrand, T.J., Weyuker, E.J.: The distribution of faults in a large industrial software system. In: Proceedings ISSTA, pp. 55\u201364, July 2002. doi:\n10.1145\/566172.566181","DOI":"10.1145\/566172.566181"},{"key":"25_CR13","doi-asserted-by":"publisher","unstructured":"Ostrand, T.J., Weyuker, E.J., Bell, R.M.: Where the bugs are. In: Proceedings ISSTA, pp. 86\u201396, July 2004. doi:\n10.1145\/1007512.1007524","DOI":"10.1145\/1007512.1007524"},{"key":"25_CR14","unstructured":"Savely, R., Culbert, C., Riley, G., Dantes, B., Ly, B., Ortiz, C., Giarratano, J., Lopez, F.: CLIPS: a tool for building expert systems, May 2015. \nhttp:\/\/clipsrules.sourceforge.net\/"},{"key":"25_CR15","doi-asserted-by":"publisher","unstructured":"Sun, C., He, L., Wang, Q., Willenborg, R.: Simplifying service deployment with virtual appliances. In: Proceedings IEEE International Conference on Services Computing (SCC), pp. 265\u2013272, July 2008. doi:\n10.1109\/SCC.2008.53","DOI":"10.1109\/SCC.2008.53"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"White, B., Lepreau, J., Stoller, L., Ricci, R., Guruprasad, S., Newbold, M., Hibler, M., Barb, C., Joglekar, A.: An integrated experimental environment for distributed systems and networks. In: Proceedings OSDI, pp. 255\u2013270, December 2002. \nhttps:\/\/www.usenix.org\/legacy\/event\/osdi02\/tech\/white.html","DOI":"10.1145\/1060289.1060313"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:40:25Z","timestamp":1504590025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}