{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T11:51:19Z","timestamp":1723636279379},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,21]]},"DOI":"10.1145\/1272996.1273032","type":"proceedings-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T14:45:29Z","timestamp":1349880329000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Sealing OS processes to improve dependability and safety"],"prefix":"10.1145","author":[{"given":"Galen","family":"Hunt","sequence":"first","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]},{"given":"Mark","family":"Aiken","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]},{"given":"Manuel","family":"F\u00e4hndrich","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]},{"given":"Chris","family":"Hawblitzel","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]},{"given":"Orion","family":"Hodson","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]},{"given":"James","family":"Larus","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]},{"given":"Steven","family":"Levi","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]},{"given":"Bjarne","family":"Steensgaard","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]},{"given":"David","family":"Tarditi","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]},{"given":"Ted","family":"Wobber","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}]}],"member":"320","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Mach: A New Kernel Foundation for UNIX Development. In Summer USENIX Conference","author":"Accetta M.","year":"1986","unstructured":"Accetta , M. , Baron , R. , Bolosky , W. , Golub , D. , Rashid , R. , Tevanian , A. and Young , M . Mach: A New Kernel Foundation for UNIX Development. In Summer USENIX Conference , Atlanta, GA , 1986 , 93--112. Accetta, M., Baron, R., Bolosky, W., Golub, D., Rashid, R., Tevanian, A. and Young, M. Mach: A New Kernel Foundation for UNIX Development. In Summer USENIX Conference, Atlanta, GA, 1986, 93--112."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1178597.1178599"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251252"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217943"},{"key":"e_1_3_2_1_5_1","volume-title":"Communicating Process Architectures","author":"Barnes F.","year":"2003","unstructured":"Barnes , F. , Jacobsen , C. and Vinter , B . RMoX: A Raw-Metal occam Experiment . In Communicating Process Architectures , IOS Press , Enschede , the Netherlands, 2003 , 269--288. Barnes, F., Jacobsen, C. and Vinter, B. RMoX: A Raw-Metal occam Experiment. In Communicating Process Architectures, IOS Press, Enschede, the Netherlands, 2003, 269--288."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceeedings of the 15th European Conference on Object-Oriented Programming (ECOOP)","author":"Biberstein M.","year":"2001","unstructured":"Biberstein , M. , Gil , J. and Porat , S . Sealing, Encapsulation, and Mutability . In Proceeedings of the 15th European Conference on Object-Oriented Programming (ECOOP) , Lecture Notes in Computer Science , Springer-Verlag , Budapest, Hungary , 2001 . Biberstein, M., Gil, J. and Porat, S. Sealing, Encapsulation, and Mutability. In Proceeedings of the 15th European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science, Springer-Verlag, Budapest, Hungary, 2001."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI '04)","author":"Candea G.","year":"2004","unstructured":"Candea , G. , Kawamoto , S. , Fujiki , Y. , Friedman , G. and Fox , A . Microreboot---A Technique for Cheap Recovery . In Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI '04) , San Francisco, CA , 2004 , 31--44. Candea, G., Kawamoto, S., Fujiki, Y., Friedman, G. and Fox, A. Microreboot---A Technique for Cheap Recovery. In Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI '04), San Francisco, CA, 2004, 31--44."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.744571"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224076"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151374.1151393"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173748"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<199::AID-SPE296>3.0.CO;2-2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/362422.362472"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996849"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/505452.505455"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945464"},{"key":"e_1_3_2_1_21_1","volume-title":"Smalltalk-80: The Language and Its Implementation","author":"Goldberg A.","year":"1983","unstructured":"Goldberg , A. and Robson , D . Smalltalk-80: The Language and Its Implementation . Addison-Wesley , 1983 . Goldberg, A. and Robson, D. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, 1983."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the USENIX 2002 Annual Conference","author":"Golm M.","year":"2002","unstructured":"Golm , M. , Felser , M. , Wawersich , C. and Kleinoeder , J . The JX Operating System . In Proceedings of the USENIX 2002 Annual Conference , Monterey, CA , 2002 , 45--58. Golm, M., Felser, M., Wawersich, C. and Kleinoeder, J. The JX Operating System. In Proceedings of the USENIX 2002 Annual Conference, Monterey, CA, 2002, 45--58."},{"key":"e_1_3_2_1_23_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"1996","unstructured":"Gosling , J. , Joy , B. and Steele , G . The Java Language Specification . Addison Wesley , 1996 . Gosling, J., Joy, B. and Steele, G. The Java Language Specification. Addison Wesley, 1996."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266660"},{"key":"e_1_3_2_1_25_1","volume-title":"Implementing Multiple Protection Domains in Java. In Proceedings of the 1998 USENIX Annual Technical Conference","author":"Hawblitzel C.","year":"1998","unstructured":"Hawblitzel , C. , Chang , C.-C. , Czajkowski , G. , Hu , D. and Eicken , T . v . Implementing Multiple Protection Domains in Java. In Proceedings of the 1998 USENIX Annual Technical Conference , New Orleans, LA , 1998 , 259--270. Hawblitzel, C., Chang, C.-C., Czajkowski, G., Hu, D. and Eicken, T. v. Implementing Multiple Protection Domains in Java. In Proceedings of the 1998 USENIX Annual Technical Conference, New Orleans, LA, 1998, 259--270."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060325"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151374.1151391"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS X)","author":"Hunt G. C.","year":"2005","unstructured":"Hunt , G. C. , Larus , J. R. , Tarditi , D. and Wobber , T ., Broad New OS Research: Challenges and Opportunities . In Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS X) , Santa Fe, NM , 2005 , 85--90. Hunt, G. C., Larus, J. R., Tarditi, D. and Wobber, T., Broad New OS Research: Challenges and Opportunities. In Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS X), Santa Fe, NM, 2005, 85--90."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00070ED1V01Y200611CAC002"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the IEEE International Conference on Dependable Systems and Networks","author":"Murphy B.","year":"2000","unstructured":"Murphy , B. and Levidow , B . Windows 2000 Dependability . In Proceedings of the IEEE International Conference on Dependable Systems and Networks , New York, NY , 2000 . Murphy, B. and Levidow, B. Windows 2000 Dependability. In Proceedings of the IEEE International Conference on Dependable Systems and Networks, New York, NY, 2000."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2004.1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27800-9_8"},{"key":"e_1_3_2_1_34_1","volume-title":"Application Isolation API Specification Java Specification Request","author":"Process J. C.","year":"2003","unstructured":"Process , J. C. Application Isolation API Specification Java Specification Request , 2003 , JSR- 000121. Process, J. C. Application Isolation API Specification Java Specification Request, 2003, JSR-000121."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361061"},{"key":"e_1_3_2_1_36_1","volume-title":"Inside the JavaOS Operating System","author":"Saulpaugh T.","year":"1999","unstructured":"Saulpaugh , T. and Mirho , C . Inside the JavaOS Operating System . Addison-Wesley , 1999 . Saulpaugh, T. and Mirho, C. Inside the JavaOS Operating System. Addison-Wesley, 1999."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/800212.806498"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238779"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217941"},{"key":"e_1_3_2_1_40_1","volume-title":"VA","author":"Cweb","year":"2000","unstructured":"SPEC SPE Cweb 99 Release 1.02. Standard Performance Evaluation Corporation Warrenton , VA , 2000 . SPEC SPECweb99 Release 1.02. Standard Performance Evaluation Corporation Warrenton, VA, 2000."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349326"},{"key":"e_1_3_2_1_42_1","volume-title":"Writing Apache Modules with Perl and C. O'Reilly","author":"Stein L.","year":"1999","unstructured":"Stein , L. and MacEacbern , D. Writing Apache Modules with Perl and C. O'Reilly , 1999 . Stein, L. and MacEacbern, D. Writing Apache Modules with Perl and C. O'Reilly, 1999."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945466"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/36206.36199"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945471"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1463891.1463914"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"e_1_3_2_1_50_1","volume-title":"Lisp Machine Manuel. Symbolics","author":"Weinreb D.","year":"1981","unstructured":"Weinreb , D. and Moon , D . Lisp Machine Manuel. Symbolics , Inc , Cambridge, MA , 1981 . Weinreb, D. and Moon, D. Lisp Machine Manuel. Symbolics, Inc, Cambridge, MA, 1981."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273033"}],"event":{"name":"EuroSys07: Eurosys 2007 Conference","location":"Lisbon Portugal","acronym":"EuroSys07","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 2nd ACM SIGOPS\/EuroSys European Conference on Computer Systems 2007"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1272996.1273032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:57:52Z","timestamp":1693846672000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1272996.1273032"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,21]]},"references-count":49,"alternative-id":["10.1145\/1272996.1273032","10.1145\/1272996"],"URL":"https:\/\/doi.org\/10.1145\/1272996.1273032","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1272998.1273032","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,3,21]]},"assertion":[{"value":"2007-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}