{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:25:26Z","timestamp":1743128726062,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642215537"},{"type":"electronic","value":"9783642215544"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21554-4_25","type":"book-chapter","created":{"date-parts":[[2011,6,13]],"date-time":"2011-06-13T07:29:53Z","timestamp":1307950193000},"page":"431-448","source":"Crossref","is-referenced-by-count":3,"title":["Composable Security Analysis of OS Services"],"prefix":"10.1007","author":[{"given":"Ran","family":"Canetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Chari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shai","family":"Halevi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Pfitzmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnab","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Steiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wietse","family":"Venema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"25_CR1","doi-asserted-by":"publisher","first-page":"1685","DOI":"10.1016\/j.ic.2007.05.002","volume":"205","author":"M. Backes","year":"2007","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: The reactive simulatability (RSIM) framework for asynchronous systems. Inf. Comput.\u00a0205(12), 1685\u20131720 (2007)","journal-title":"Inf. Comput."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Bengtson, J., Bhargavan, K., Fournet, C., Gordon, A., Maffeis, S.: Refinement types for secure implementations. In: 21st IEEE Computer Security Foundations Symposium (CSFS), pp. 17\u201332 (2008)","DOI":"10.1109\/CSF.2008.27"},{"key":"25_CR3","unstructured":"Biba, K.: Integrity considerations for secure computer systems, MITRE TR-3153, Bedford, MA (1977)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Canetti, R.: Universally Composable Security: A New Paradigm for Cryptographic Protocols. In: FOCS, pp. 136\u2013145 (2001)","DOI":"10.1109\/SFCS.2001.959888"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Canetti, R.: Security and Composition of Cryptographic Protocols. SIGACT News\u00a037(3&4) (2006)","DOI":"10.1145\/1165555.1165570"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Canetti, R., Chari, S., Halevi, S., Pfitzmann, B., Roy, A., Steiner, M., Venema, W.: Composable Security Analysis of OS Services, Cryptology ePrint Archive, Report 2010\/213, http:\/\/eprint.iacr.org\/","DOI":"10.1007\/978-3-642-21554-4_25"},{"key":"25_CR7","unstructured":"Chari, S., Halevi, S., Venema, W.: Where Do You Want to Go Today? Escalating Privileges by Pathname Manipulation. In: Proc. Symposium on Network and Distributed Systems Security, NDSS (2010)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Roy, A.: Protocol composition logic (PCL). Electronic Notes in Theoretical Computer Science (2007)","DOI":"10.1016\/j.entcs.2007.02.012"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Datta, A., Franklin, J., Garg, D., Kaynar, D.: A logic of secure systems and its application to trusted computing. In: Proc. of the IEEE Symp. on Research in Security & Privacy, pp. 221\u2013236 (2009)","DOI":"10.1109\/SP.2009.16"},{"issue":"4","key":"25_CR10","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.scico.2008.08.001","volume":"74","author":"L. Freitas","year":"2009","unstructured":"Freitas, L., Woodcock, J., Fu, Z.: POSIX file store in Z\/Eves. Science of Computer Programming\u00a074(4), 238\u2013257 (2009)","journal-title":"Science of Computer Programming"},{"key":"25_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511721656","volume-title":"Foundations of Cryptography","author":"O. Goldreich","year":"2004","unstructured":"Goldreich, O.: Foundations of Cryptography, vol.\u00a01, 2. Cambridge Press, Cambridge (2004)"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/11555827_28","volume-title":"Computer Security \u2013 ESORICS 2005","author":"T.R. Gross","year":"2005","unstructured":"Gross, T.R., Pfitzmann, B., Sadeghi, A.-R.: Browser model for security analysis of browser-based protocols. In: di Vimercati, S.d.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 489\u2013508. Springer, Heidelberg (2005)"},{"issue":"2","key":"25_CR13","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s00165-006-0022-3","volume":"19","author":"R. Joshi","year":"2007","unstructured":"Joshi, R., Holzmann, G.J.: A mini challenge: Build a verifiable filesystem. Formal Aspects of Computing\u00a019(2), 269\u2013272 (2007)","journal-title":"Formal Aspects of Computing"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: Formal verification of an OS kernel. In: SOSP 2009, pp. 207\u2013220 (2009)","DOI":"10.1145\/1629575.1629596"},{"issue":"1","key":"25_CR15","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/32.481534","volume":"22","author":"J. McLean","year":"1996","unstructured":"McLean, J.: A general theory of composition for a class of \u201dpossibilistic\u201d properties. IEEE Transactions on Software Engineering\u00a022(1), 53\u201367 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-39864-6_17","volume-title":"Advances in Computer Systems Architecture","author":"P. Neumann","year":"2003","unstructured":"Neumann, P., Feiertag, R.: PSOS revisited. In: Omondi, A.R., Sedukhin, S.G. (eds.) ACSAC 2003. LNCS, vol.\u00a02823, pp. 208\u2013216. Springer, Heidelberg (2003)"},{"key":"25_CR17","unstructured":"Neumann, P.: Principled assuredly trustworthy composable architectures, DARPA Project CHATS, Final Rep. (2004), http:\/\/www.csl.sri.com\/users\/neumann\/chats.html"},{"key":"25_CR18","unstructured":"Pfitzmann, B., Waidner, M.: A General Framework for Formal Notions of \u201cSecure\u201d Systems. Institut fur Informatik, Hildesheim University (April 1994)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Pfitzmann, B., Waidner, M.: Composition and Integrity Preservation of Secure Reactive Systems. In: Proc. CCS, pp. 245\u2013254 (2000)","DOI":"10.1145\/352600.352639"},{"key":"25_CR20","unstructured":"The Open Group Base Spec. Issue 7, IEEE Std 1003.1-2008, http:\/\/www.opengroup.org\/onlinepubs\/9699919799\/"}],"container-title":["Lecture Notes in Computer Science","Applied Cryptography and Network Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21554-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T14:02:33Z","timestamp":1560261753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21554-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642215537","9783642215544"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21554-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}