{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:46Z","timestamp":1750308046486,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGPLAN Not."],"published-print":{"date-parts":[[2006,3]]},"abstract":"<jats:p>\n            Most static analysis techniques for optimizing stack inspection approximate\n            <jats:italic>permission sets<\/jats:italic>\n            such as granted permissions and denied permissions. Because they compute permission sets following control flow, they usually take intra-procedural control flow into consideration as well as call relationship. In this paper, we observed that it is necessary for more precise optimization on stack inspection to compute more specific information on\n            <jats:italic>checks<\/jats:italic>\n            instead of permissions. We propose a backward static analysis based on simple call graph to approximate redundant permission checks which must fail. In a similar way, we also propose a backward static analysis to approximate success permission checks, which must pass stack inspection.\n          <\/jats:p>","DOI":"10.1145\/1140543.1140550","type":"journal-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T17:00:26Z","timestamp":1153760426000},"page":"40-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Static check analysis for Java stack inspection"],"prefix":"10.1145","volume":"41","author":[{"given":"Byeong-Mo","family":"Chang","sequence":"first","affiliation":[{"name":"Sookmyung Women's University, Yongsan-ku, Seoul, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,3]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"54","author":"Bartoletti M.","year":"2001","unstructured":"M. Bartoletti , P. Degano , and G. L. Ferrari . Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci. 54 , 2001 . M. Bartoletti, P. Degano, and G. L. Ferrari. Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci. 54, 2001.","journal-title":"Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0038-8"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009380.1009691"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/571157.571166"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/514702.514705"},{"key":"e_1_2_1_6_1","first-page":"246","volume-title":"Schneider. IRM Enforcement of Java Stack Inspection. 2000 IEEE Symposium on Security and Privacy","author":"Erlingsson U.","unstructured":"U. Erlingsson and Fred B . Schneider. IRM Enforcement of Java Stack Inspection. 2000 IEEE Symposium on Security and Privacy , pp. 246 -- 255 . U. Erlingsson and Fred B. Schneider. IRM Enforcement of Java Stack Inspection. 2000 IEEE Symposium on Security and Privacy, pp. 246--255."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/641909.641912"},{"key":"e_1_2_1_8_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"2002","unstructured":"J. Gosling , Joy, Steele , The Java Language Specification Second Edition, Addison-Wesley , 2002 J. Gosling, Joy, Steele, The Java Language Specification Second Edition, Addison-Wesley, 2002"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.264352"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582452"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/501983.501994"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1057387.1057392"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353190"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363520"},{"key":"e_1_2_1_16_1","unstructured":"http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/api.  http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/api."}],"container-title":["ACM SIGPLAN Notices"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140543.1140550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1140543.1140550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:31Z","timestamp":1750259671000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140543.1140550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["10.1145\/1140543.1140550"],"URL":"https:\/\/doi.org\/10.1145\/1140543.1140550","relation":{},"ISSN":["0362-1340","1558-1160"],"issn-type":[{"type":"print","value":"0362-1340"},{"type":"electronic","value":"1558-1160"}],"subject":[],"published":{"date-parts":[[2006,3]]},"assertion":[{"value":"2006-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}