{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T21:19:35Z","timestamp":1649193575910},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2012,9,28]],"date-time":"2012-09-28T00:00:00Z","timestamp":1348790400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1007\/s11432-012-4674-8","type":"journal-article","created":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T11:16:13Z","timestamp":1349003773000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["Advanced graph model for tainted variable tracking"],"prefix":"10.1007","volume":"56","author":[{"given":"Chao","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YuPing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ShiMin","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,28]]},"reference":[{"key":"4674_CR1","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/1629575.1629582","volume-title":"Proceedings of 22nd ACM Symposium on Operating System Principles","author":"A Kadav","year":"2009","unstructured":"Kadav A, Renzelmann M J, Swift M M. Tolerating hardware device failures in software. In: Proceedings of 22nd ACM Symposium on Operating System Principles. New York: ACM Press, 2009. 59\u201372"},{"key":"4674_CR2","volume-title":"Microsoft Corporation","author":"S Arthur","year":"2004","unstructured":"Arthur S. Fault resilient drivers for Longhorn server. WinHec 2004 Presentation DW04012. Microsoft Corporation. 2004"},{"key":"4674_CR3","volume-title":"Hotplug in a multikernel operating system","author":"T Animesh","year":"2009","unstructured":"Animesh T. Hotplug in a multikernel operating system. Master Thesis. Zurich: Swiss Federal Institute of Technology Zurich, 2009"},{"key":"4674_CR4","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/1047915.1047919","volume":"23","author":"M M Swift","year":"2005","unstructured":"Swift M M, Bershad B N, Levy H M. Improving the reliability of commodity operating systems. ACM Trans Comput Syst, 2005, 23: 77\u2013110","journal-title":"ACM Trans Comput Syst"},{"key":"4674_CR5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/1189256.1189257","volume":"24","author":"M Swift","year":"2006","unstructured":"Swift M, Annamalau M, Bershad B N, et al. Recovering device drivers. ACM Trans Comput Syst, 2006, 24: 333\u2013360","journal-title":"ACM Trans Comput Syst"},{"key":"4674_CR6","first-page":"75","volume-title":"Proceedings of the 7th USENIX Conference on Operating System Design and Implementation","author":"U Erlingsson","year":"2006","unstructured":"Erlingsson U, Abadi M, Vrable M, et al. XFI: software guards for system address spaces. In: Proceedings of the 7th USENIX Conference on Operating System Design and Implementation. Berkeley: USENIX Association, 2006. 75\u201388"},{"key":"4674_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1629575.1629581","volume-title":"Proceedings of 22nd ACM Symposium on Operating System Principles","author":"J M Castro","year":"2009","unstructured":"Castro J M, Costa M, Martin J-P, et al. Fast byte granularity software fault isolation. In: Proceedings of 22nd ACM Symposium on Operating System Principles. New York: ACM Press, 2009. 45\u201358"},{"key":"4674_CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/DSN.2007.46","volume-title":"Proceedings of the 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks","author":"J N Herder","year":"2007","unstructured":"Herder J N, Bos H, Gras B, et al. Failure resilience for device drivers. In: Proceedings of the 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks. Edinburgh: IEEE Computer Society, 2007. 41\u201350"},{"key":"4674_CR9","first-page":"241","volume-title":"Proceedings of the 8th USENIX Conference on Operating System Design and Implementation","author":"D Williams","year":"2008","unstructured":"Williams D, Reynolds P, Walsh K, et al. Device driver safety through a reference validation mechanism. In: Proceedings of the 8th USENIX Conference on Operating System Design and Implementation. Berkeley: USENIX Association, 2008. 241\u2013254"},{"key":"4674_CR10","doi-asserted-by":"crossref","first-page":"654","DOI":"10.1007\/s11390-005-0654-4","volume":"20","author":"B Leslie","year":"2005","unstructured":"Leslie B, Chubb P, Fitzroy-Dale N, et al. User-level device drivers: achieved performance. J Comput Sci Technol, 2005, 20: 654\u2013664","journal-title":"J Comput Sci Technol"},{"key":"4674_CR11","first-page":"1","volume-title":"Proceedings of 1st Workshop on Operating System and Architectural Support for the on-demand IT InfraStructure","author":"K Fraser","year":"2004","unstructured":"Fraser K, Neugebauer S H R, Pratt I, et al. Safe hardware access with the xen virtual machine monitor. In: Proceedings of 1st Workshop on Operating System and Architectural Support for the on-demand IT InfraStructure. New York: ACM Press, 2004. 1\u201310"},{"key":"4674_CR12","first-page":"17","volume-title":"Proceedings of the 7th USENIX Conference on Operating System Design and Implementation","author":"J LeVasseur","year":"2004","unstructured":"LeVasseur J, Uhlig V, Stoess J, et al. Unmodified device driver reuse and improved system dependability via virtual machines. In: Proceedings of the 7th USENIX Conference on Operating System Design and Implementation. Berkeley: USENIX Association, 2004. 17\u201330"},{"key":"4674_CR13","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1145\/1508244.1508279","volume-title":"Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"A Menon","year":"2009","unstructured":"Menon A, Schubert S, Zwaenepoel W. Twindrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest os drivers. In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems. New York: ACM Press, 2009. 301\u2013312"},{"key":"4674_CR14","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/998300.997169","volume":"39","author":"C L Conway","year":"2004","unstructured":"Conway C L, Edwards S A. NDL: a domain-specific language for device drivers. ACM Sigplan Notices, 2004, 39: 30\u201336","journal-title":"ACM Sigplan Notices"},{"key":"4674_CR15","first-page":"1","volume-title":"Proceedings of 5th International Conference on Embedded Software","author":"J Sun","year":"2005","unstructured":"Sun J, Yuan W, Kallahalla M, et al. HAIL: a language for easy and correct device access. In: Proceedings of 5th International Conference on Embedded Software. New York: ACM Press, 2005. 1\u20139"},{"key":"4674_CR16","volume-title":"Laddie: the language for automated device drivers","author":"L Wittle","year":"2008","unstructured":"Wittle L. Laddie: the language for automated device drivers. Computer Science Technical Report 08-2. Bucknell University, 2008"},{"key":"4674_CR17","first-page":"73","volume-title":"Proceedings of the 1st ACM SIGOPS\/Eurosys European Conference on Computer Systems","author":"T Ball","year":"2006","unstructured":"Ball T, Bounimova E, Cook B, et al. Thorough static analysis of device drivers. In: Berbers Y, Zwaenepoel W, eds. Proceedings of the 1st ACM SIGOPS\/Eurosys European Conference on Computer Systems. New York: ACM Press, 2006. 73\u201385"},{"key":"4674_CR18","first-page":"1","volume-title":"Proceedings of 4th Usenix Workshop on Hot Topics in System Dependability","author":"V Chipounov","year":"2008","unstructured":"Chipounov V, Candea G. Reverse-engineering drivers for safety and portability. In: Proceedings of 4th Usenix Workshop on Hot Topics in System Dependability. Berkeley: Usenix Association, 2008. 1\u20136"},{"key":"4674_CR19","first-page":"1","volume-title":"Proceedings of the 4th USENIX Conference on Operating System Design and Implementation","author":"F M\u00e9rillon","year":"2000","unstructured":"M\u00e9rillon F, R\u00e9veill\u00e8re L, Consel C, et al. Devil: an IDL for hardware programming. In: Proceedings of the 4th USENIX Conference on Operating System Design and Implementation. Berkeley: USENIX Association, 2000. 1\u201314"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4674-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-012-4674-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4674-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:37:47Z","timestamp":1559403467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-012-4674-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,28]]},"references-count":19,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2013,11]]}},"alternative-id":["4674"],"URL":"https:\/\/doi.org\/10.1007\/s11432-012-4674-8","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,28]]}}}