{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:44Z","timestamp":1750308044578,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,20]],"date-time":"2006-05-20T00:00:00Z","timestamp":1148083200000},"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":[],"published-print":{"date-parts":[[2006,5,20]]},"DOI":"10.1145\/1137627.1137637","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"59-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal specification and analysis of JAAS framework"],"prefix":"10.1145","author":[{"given":"Shin","family":"Nakajima","sequence":"first","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuo","family":"Tamai","sequence":"additional","affiliation":[{"name":"The University of Tokyo"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,5,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Art and Science","author":"Security Computer","year":"2003","unstructured":"Computer Security : Art and Science . Addison-Wesley , 2003 . Computer Security: Art and Science. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_2_1","volume-title":"The UML Profile for Framework Architectures","author":"Fontoura M.","year":"2002","unstructured":"M. Fontoura , W. Pree , and B. Rumpe . The UML Profile for Framework Architectures . Addison Wesley , 2002 . M. Fontoura, W. Pree, and B. Rumpe. The UML Profile for Framework Architectures. Addison Wesley, 2002."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. USENIX Symp. Internet Tech. Syst.","author":"Gong L.","year":"1997","unstructured":"L. Gong , M. Mueller , H. Prafullchandra , and R. Schemers . Going Beyond the Sandbox: An Overview of the New Security Architecture in the JavaTM Development Kit 1.2 . In Proc. USENIX Symp. Internet Tech. Syst. , December 1997 . L. Gong, M. Mueller, H. Prafullchandra, and R. Schemers. Going Beyond the Sandbox: An Overview of the New Security Architecture in the JavaTM Development Kit 1.2. In Proc. USENIX Symp. Internet Tech. Syst., December 1997."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97967"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503219"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/645870.668678"},{"key":"e_1_3_2_1_8_1","volume-title":"MIT Lab for Computer Science","author":"Jackson D.","year":"2002","unstructured":"D. Jackson . Micromodels of Software: Lightweight Modeling and Analysis with Alloy . MIT Lab for Computer Science , February 2002 . verb+http:\/\/www.+ D. Jackson. Micromodels of Software: Lightweight Modeling and Analysis with Alloy. MIT Lab for Computer Science, February 2002. verb+http:\/\/www.+"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/794200.795133"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/784590.784705"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253238"},{"key":"e_1_3_2_1_12_1","first-page":"163","volume-title":"Proc. SPIN 2001","author":"Nakajima S.","year":"2001","unstructured":"S. Nakajima and T. Tamai . Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture . In Proc. SPIN 2001 , pages 163 -- 182 , May 2001 . S. Nakajima and T. Tamai. Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. In Proc. SPIN 2001, pages 163--182, May 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/785409.785848"},{"key":"e_1_3_2_1_14_1","unstructured":"S. Oaks. Java Security (2ed.). O'Reilly 2001.   S. Oaks. Java Security (2ed.). O'Reilly 2001."},{"key":"e_1_3_2_1_15_1","volume-title":"Working with Objects: the OOram Software Engineering Method","author":"Reenskaug T.","year":"1996","unstructured":"T. Reenskaug , P. Wold , and O. A. Lehne . Working with Objects: the OOram Software Engineering Method . Manning Publications , 1996 . T. Reenskaug, P. Wold, and O. A. Lehne. Working with Objects: the OOram Software Engineering Method. Manning Publications, 1996."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/507711.507714"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_18_1","volume-title":"Software Architecture","author":"Shaw M.","year":"1996","unstructured":"M. Shaw and D. Garlan . Software Architecture . Prentice Hall , 1996 . M. Shaw and D. Garlan. Software Architecture. Prentice Hall, 1996."},{"key":"e_1_3_2_1_19_1","volume-title":"Objects, Components, and Frameworks with UML","author":"D'Souza D.","year":"1999","unstructured":"D. D'Souza and A. C. Wills . Objects, Components, and Frameworks with UML . Addison Wesley , 1999 . D. D'Souza and A. C. Wills. Objects, Components, and Frameworks with UML. Addison Wesley, 1999."},{"key":"e_1_3_2_1_20_1","volume-title":"Component Software (2ed.)","author":"Szyperski C.","year":"2002","unstructured":"C. Szyperski . Component Software (2ed.) . Addison Wesley , 2002 . C. Szyperski. Component Software (2ed.). Addison Wesley, 2002."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266668"}],"event":{"name":"ICSE06: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Shanghai China","acronym":"ICSE06"},"container-title":["Proceedings of the 2006 international workshop on Software engineering for secure systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1137627.1137637","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1137627.1137637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:29Z","timestamp":1750259669000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1137627.1137637"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,20]]},"references-count":21,"alternative-id":["10.1145\/1137627.1137637","10.1145\/1137627"],"URL":"https:\/\/doi.org\/10.1145\/1137627.1137637","relation":{},"subject":[],"published":{"date-parts":[[2006,5,20]]},"assertion":[{"value":"2006-05-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}