{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T22:52:41Z","timestamp":1794437561511,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642358609","type":"print"},{"value":"9783642358616","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35861-6_14","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T22:44:50Z","timestamp":1357857890000},"page":"224-241","source":"Crossref","is-referenced-by-count":6,"title":["IBOS: A Correct-By-Construction Modular Browser"],"prefix":"10.1007","author":[{"given":"Ralf","family":"Sasse","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samuel T.","family":"King","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuo","family":"Tang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1109\/CSF.2010.27","volume-title":"Proceedings of the 2010, 23rd IEEE Computer Security Foundations Symposium, CSF 2010","author":"D. Akhawe","year":"2010","unstructured":"Akhawe, D., Barth, A., Lam, P.E., Mitchell, J., Song, D.: Towards a formal foundation of web security. In: Proceedings of the 2010, 23rd IEEE Computer Security Foundations Symposium, CSF 2010, pp. 290\u2013304. IEEE Computer Society, Washington, DC (2010)"},{"key":"14_CR2","unstructured":"Barth, A., Jackson, C., Reis, C., The Google Chrome Team: The security architecture of the chromium browser (2008), \n                  \n                    http:\/\/crypto.stanford.edu\/websec\/chromium\/chromium-security-architecture.pdf"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Chen, S., Meseguer, J., Sasse, R., Wang, H.J., Wang, Y.-M.: A systematic approach to uncover security flaws in GUI logic. In: IEEE Symposium on Security and Privacy, pp. 71\u201385. IEEE Computer Society (2007)","DOI":"10.1109\/SP.2007.6"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Chen, S., Ross, D., Wang, Y.-M.: An analysis of browser domain-isolation bugs and a light-weight transparent defense mechanism. In: Ning, P., di Vimercati, S.D.C., Syverson, P.F. (eds.) ACM Conference on Computer and Communications Security, pp. 2\u201311. ACM (2007)","DOI":"10.1145\/1315245.1315248"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"14_CR6","unstructured":"Google Inc. Chromium OS (2010), \n                  \n                    http:\/\/www.chromium.org\/chromium-os"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Grier, C., Tang, S., King, S.T.: Secure web browsing with the OP web browser. In: Proceedings of the 2008 IEEE Symposium on Security and Privacy, pp. 402\u2013416 (May 2008)","DOI":"10.1109\/SP.2008.19"},{"key":"14_CR8","first-page":"27","volume-title":"Proceedings of the 13th USENIX Conference on Hot Topics in Operating Systems, HotOS 2013","author":"G. Heiser","year":"2011","unstructured":"Heiser, G., Ryzhyk, L., Von Tessin, M., Budzynowski, A.: What if you could actually trust your kernel? In: Proceedings of the 13th USENIX Conference on Hot Topics in Operating Systems, HotOS 2013, pp. 27\u201327. USENIX Association, Berkeley (2011)"},{"issue":"6","key":"14_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1743546.1743574","volume":"53","author":"G. Klein","year":"2010","unstructured":"Klein, G., Andronick, J., Elphinstone, K., Heiser, G., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: Formal verification of an operating-system kernel. Commun. ACM\u00a053(6), 107\u2013115 (2010)","journal-title":"Commun. ACM"},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"14_CR11","unstructured":"Moshchuk, A., Bragin, T., Gribble, S.D., Levy, H.M.: A crawler-based study of spyware on the web. In: Proceedings of the 2006 Network and Distributed System Security Symposium (NDSS) (February 2006)"},{"key":"14_CR12","unstructured":"Provos, N., Mavrommatis, P., Rajab, M.A., Monrose, F.: All your iFRAMEs point to us. In: Proceedings of the 17th Usenix Security Symposium, pp. 1\u201315 (July 2008)"},{"key":"14_CR13","unstructured":"Provos, N., McNamee, D., Mavrommatis, P., Wang, K., Modadugu, N.: The ghost in the browser: Analysis of Web-based malware. In: Proceedings of the 2007 Workshop on Hot Topics in Understanding Botnets (HotBots) (April 2007)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Rosu, G., Stefanescu, A.: Matching logic: a new program verification approach. In: Taylor, R.N., Gall, H., Medvidovic, N. (eds.) ICSE, pp. 868\u2013871. ACM (2011)","DOI":"10.1145\/1985793.1985928"},{"key":"14_CR15","unstructured":"Sasse, R.: Security Models in Rewriting Logic for Cryptographic Protocols and Browsers. PhD thesis, University of Illinois at Urbana-Champaign (July 2012), Current Draft available at \n                  \n                    http:\/\/hdl.handle.net\/2142\/34373"},{"key":"14_CR16","unstructured":"Symantec. Symantec internet security threat report (2011), \n                  \n                    http:\/\/www.symantec.com\/business\/threatreport"},{"key":"14_CR17","unstructured":"Tang, S., Mai, H., King, S.T.: Trust and protection in the illinois browser operating system. In: Arpaci-Dusseau, R.H., Chen, B. (eds.) OSDI, pp. 17\u201332. USENIX Association (2010)"},{"key":"14_CR18","unstructured":"TeReSe (ed.): Term Rewriting Systems. Cambridge University Press (2003)"},{"key":"14_CR19","unstructured":"Wang, H.J., Grier, C., Moshchuk, A., King, S.T., Choudhury, P., Venter, H.: The multi-principal OS construction of the Gazelle web browser. In: Proceedings of the 2009 USENIX Security Symposium (August 2009)"},{"key":"14_CR20","unstructured":"Wang, Y.-M., Beck, D., Jiang, X., Roussev, R., Verbowski, C., Chen, S., King, S.: Automated Web Patrol with Strider HoneyMonkeys: Finding Web sites that exploit browser vulnerabilities. In: Proceedings of the 2006 Network and Distributed System Security Symposium (NDSS) (February 2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35861-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:32:03Z","timestamp":1620120723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35861-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358609","9783642358616"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35861-6_14","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-35861-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}