{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:52:45Z","timestamp":1725511965207},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540710929"},{"type":"electronic","value":"9783540710936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71093-6_11","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T14:58:59Z","timestamp":1180450739000},"page":"133-146","source":"Crossref","is-referenced-by-count":0,"title":["Visualization of Permission Checks in Java Using Static Analysis"],"prefix":"10.1007","author":[{"given":"Yoonkyung","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Byeong-Mo","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Static Analysis for Stack Inspection. Electr. Notes Theor. Comput. Sci. 54 (2001)","DOI":"10.1016\/S1571-0661(04)00236-1"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10207-004-0038-8","volume":"2","author":"M. Bartoletti","year":"2004","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Stack inspection and secure program transformations. Int. Journal of Information Security\u00a02, 187\u2013217 (2004)","journal-title":"Int. Journal of Information Security"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Besson, F., Blanc, T., Fournet, C., Gordon, A.D.: From Stack Inspection to Access Control: A Security Analysis for Libraries. In: CSFW 2004 (2004)","DOI":"10.1109\/CSFW.2004.1310732"},{"key":"11_CR4","volume-title":"Proc. 4th Conference on Principles and Practice of Declarative Programming","author":"F. Besson","year":"2002","unstructured":"Besson, F.: Secure calling contexts for stack inspsection. In: de Grenier de Latour, T., Jensen, T. (eds.) Proc. 4th Conference on Principles and Practice of Declarative Programming, ACM Press, New York (2002)"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3233\/JCS-2001-9303","volume":"9","author":"F. Besson","year":"2001","unstructured":"Besson, F., Jensen, T., Le Metayer, D., Thorn, T.: Model checking security properties of control flow graphs. Journal of Computer Security\u00a09, 217\u2013250 (2001)","journal-title":"Journal of Computer Security"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Chang, B.-M.: Static Check Analysis for Java Stack Inspection. ACM SIGPLAN Notices\u00a041(2) (2006)","DOI":"10.1145\/1140543.1140550"},{"key":"11_CR7","first-page":"246","volume-title":"2000 IEEE Symposium on Security and Privacy","author":"U. Erlingsson","year":"2000","unstructured":"Erlingsson, U., Schneider, F.B.: IRM Enforcement of Java Stack Inspection. In: 2000 IEEE Symposium on Security and Privacy, pp. 246\u2013255. IEEE Computer Society Press, Los Alamitos (2000)"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/641909.641912","volume":"25","author":"C. Fournet","year":"2003","unstructured":"Fournet, C., Gordon, A.D.: Stack inspection: Theory and variants. ACM Trans. Program. Lang. & Syst.\u00a025(3), 360\u2013399 (2003)","journal-title":"ACM Trans. Program. Lang. & Syst."},{"key":"11_CR9","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2002","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java Language Specification, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/263698.264352","volume-title":"ACM OOPSLA","author":"D. Grove","year":"1997","unstructured":"Grove, D., DeFouw, G., Dean, J., Chambers, C.: Call Graph Construction in Object-Oriented Languages. In: ACM OOPSLA, pp. 108\u2013124. ACM Press, New York (1997)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/582419.582452","volume-title":"ACM OOPSLA 2002","author":"L. Koved","year":"2002","unstructured":"Koved, L., Pistoia, M., Kershenbaum, A.: Access rights analysis for Java. In: ACM OOPSLA 2002, pp. 359\u2013372. ACM Press, New York (2002)"},{"key":"11_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/501983.501994","volume-title":"2001 ACM Conference on Computer and Communications Security","author":"N. Nitta","year":"2001","unstructured":"Nitta, N., Takata, Y., Seki, H.: An efficient security verification method for programs with stack inspection. In: 2001 ACM Conference on Computer and Communications Security, pp. 68\u201377. ACM Press, New York (2001)"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1145\/1057387.1057392","volume":"27","author":"F. Pottier","year":"2005","unstructured":"Pottier, F., Skalka, C., Smith, S.F.: A systematic approach to static access control. ACM Trans. Program. Lang. & Syst.\u00a027(2), 344\u2013382 (2005)","journal-title":"ACM Trans. Program. Lang. & Syst."},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/353171.353190","volume-title":"ACM OOPSLA 2000","author":"F. Tip","year":"2000","unstructured":"Tip, F., Palsberg, J.: Scalable propagation-based call graph construction algorithms. In: ACM OOPSLA 2000, pp. 281\u2013293. ACM Press, New York (2000)"},{"issue":"4","key":"11_CR16","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/363516.363520","volume":"9","author":"D.S. Wallach","year":"2000","unstructured":"Wallach, D.S., Appel, A.W., Felten, E.W.: SAFKASI: a security mechanism for language-based systems. ACM Trans. Softw. Eng. Methodol.\u00a09(4), 341\u2013378 (2000)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"11_CR17","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"L. Bauer","year":"2005","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Composing Security Policies in Polymer. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2005, ACM Press, New York (2005)"},{"key":"11_CR18","unstructured":"http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/api"}],"container-title":["Lecture Notes in Computer Science","Information Security Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71093-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:15:21Z","timestamp":1605744921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71093-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540710929","9783540710936"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71093-6_11","relation":{},"subject":[]}}