{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:39Z","timestamp":1725455919962},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351815"},{"type":"electronic","value":"9783642351822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35182-2_7","type":"book-chapter","created":{"date-parts":[[2012,12,5]],"date-time":"2012-12-05T20:19:15Z","timestamp":1354738755000},"page":"82-97","source":"Crossref","is-referenced-by-count":1,"title":["Types and Access Controls for Cross-Domain Security in Flash"],"prefix":"10.1007","author":[{"given":"Aseem","family":"Rastogi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avik","family":"Chaudhuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rob","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Adobe: Creating more secure SWF web applications, \n                    \n                      http:\/\/www.adobe.com\/devnet\/flashplayer\/articles\/secure_swf_apps.html"},{"key":"7_CR2","unstructured":"OWASP: Example Vulnerabilities, \n                    \n                      https:\/\/www.owasp.org\/index.php\/Category:OWASP_Flash_Security_Project#Example_Vulnerabilities"},{"key":"7_CR3","unstructured":"Adobe: Adobe Flash Platform, \n                    \n                      http:\/\/www.adobe.com\/flashplatform\/"},{"key":"7_CR4","unstructured":"Siek, J.G., Taha, W.: Gradual Typing for Functional Languages. In: Scheme and Functional Programming Workshop (2006)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Rastogi, A., Chaudhuri, A., Hosmer, B.: The ins and outs of gradual type inference. In: POPL. ACM (2012)","DOI":"10.1145\/2103656.2103714"},{"key":"7_CR6","unstructured":"Howell, J., Jackson, C., Wang, H.J., Fan, X.: Mashupos: operating system abstractions for client mashups. In: HotOS. USENIX Association (2007)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"DeVries, B.W., Gupta, G., Hamlen, K.W., Moore, S., Sridhar, M.: Actionscript bytecode verification with co-logic programming. In: PLAS. ACM (2009)","DOI":"10.1145\/1554339.1554342"},{"key":"7_CR8","unstructured":"Jang, D., Venkataraman, A., Sawka, G.M., Shacham, H.: Analyzing the cross-domain policies of flash applications. In: W2SP (2011)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Flanagan, C.: Hybrid Type Checking. In: POPL, pp. 245\u2013256. ACM (2006)","DOI":"10.1145\/1111320.1111059"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Chaudhuri, A., Naldurg, P., Rajamani, S.K.: A type system for data-flow integrity on windows vista. In: PLAS. ACM (2008)","DOI":"10.1145\/1375696.1375708"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Heintze, N., Riecke, J.G.: The slam calculus: programming with secrecy and integrity. In: POPL. ACM (1998)","DOI":"10.1145\/268946.268976"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: Jflow: practical mostly-static information flow control. In: POPL. ACM (1999)","DOI":"10.1145\/292540.292561"},{"key":"7_CR13","unstructured":"Banerjee, A., Naumann, D.A.: Secure information flow and pointer confinement in a java-like language. In: CSF. IEEE Computer Society (2002)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications (2003)","DOI":"10.1109\/JSAC.2002.806121"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35182-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T14:51:18Z","timestamp":1557413478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35182-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351815","9783642351822"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35182-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}