{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:59:11Z","timestamp":1725505151453},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787884"},{"type":"electronic","value":"9783540787891"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78789-1_5","type":"book-chapter","created":{"date-parts":[[2008,3,12]],"date-time":"2008-03-12T10:58:17Z","timestamp":1205319497000},"page":"68-83","source":"Crossref","is-referenced-by-count":4,"title":["Component-Based Access Control: Secure Software Composition through Static Analysis"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Parrend","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Fr\u00e9not","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Porting Guide - Sun Javatrademark Wireless Client Software 2.0 - Java Platform, Micro Edition. Sun Microsystem (May 2007)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Arbaugh, W.A., Farber, D.J., Smith, J.: A secure and reliable bootstrap architecture. IEEE Symposium on Security and Privacy, 65\u201371 (1997)","DOI":"10.1109\/SECPRI.1997.601317"},{"key":"5_CR3","unstructured":"Banerjee, A., Naumann, D.A.: A simple semantics and static analysis for java security. Technical Report 2001-1, Stevens Institute of Technology (2001)"},{"key":"5_CR4","unstructured":"Bartoletti, M.: Language-based security: access control and static analysis. PhD thesis, Universita degli Studi di Pisa (2005)"},{"key":"5_CR5","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Static analysis for eager stack inspection. In: Workshop on Formal Techniques for Java-like Programs (FTfJP 2003) (2003)"},{"key":"5_CR6","doi-asserted-by":"publisher","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. International Journal of Information Security\u00a02, 187\u2013217 (2004)","journal-title":"International Journal of Information Security"},{"key":"5_CR7","unstructured":"Bieber, G., Carpenter, J.: Introduction to service-oriented programming (rev 2.1). OpenWings Whitepaper (April 2001)"},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1140543.1140550","volume":"41","author":"B.-M. Chang","year":"2006","unstructured":"Chang, B.-M.: Static check analysis for java stack inspection. ACM SIGPLAN Notices\u00a041(3), 40\u201348 (2006)","journal-title":"ACM SIGPLAN Notices"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1109\/SECPRI.1996.502681","volume-title":"SP 1996: Proceedings of the 1996 IEEE Symposium on Security and Privacy","author":"D. Dean","year":"1996","unstructured":"Dean, D., Felten, E.W., Wallach, D.S.: Java security: From hotjava to netscape and beyond. In: SP 1996: Proceedings of the 1996 IEEE Symposium on Security and Privacy, p. 190. IEEE Computer Society Press, Washington, DC, USA (1996)"},{"key":"5_CR10","unstructured":"Gong, L., Mueller, M., Prafullchandra, H., Schemers, R.: Going beyond the sandbox: An overview of the new security architecture in the java development kit 1.2. In: Proceedings of the USENIX Symposium on Internet Technologies and Systems (1997)"},{"key":"5_CR11","unstructured":"Gong, L., Schemers, R.: Implementing protection domains in the java development kit 1.2. In: Network and Distributed System Security Symposium (1998)"},{"key":"5_CR12","unstructured":"JSR 118 Expert Group. Midp 2.0. Sun Specification (November 2002)"},{"key":"5_CR13","volume-title":"The Java(TM) Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The Java(TM) Virtual Machine Specification, 2nd edn. Prentice-Hall, Englewood Cliffs (1999)","edition":"2"},{"key":"5_CR14","unstructured":"OSGI Alliance. Osgi service platform, core specification release 4. Draft, 07 (2005)"},{"key":"5_CR15","unstructured":"Parrend, P., Frenot, S.: Java components vulnerabilities - an experimental classification targeted at the osgi platform. Research Report RR-6231, INRIA, 06 (2007)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Parrend, P., Frenot, S.: Supporting the secure deployment of osgi bundles. In: First IEEE WoWMoM Workshop on Adaptive and DependAble Mission- and bUsiness-critical mobile Systems (ADAMUS 2007), Helsinki, Finland (June 2007)","DOI":"10.1109\/WOWMOM.2007.4351681"},{"key":"5_CR17","unstructured":"Sun Inc. Java card platform specification 2.2.2 (March 2006)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Takesue, M.: A scheme for protecting the information leakage via portable devices. In: International Conference on Emerging Security Information, Systems and Technologies, IARIA SecurWare (2007)","DOI":"10.1109\/SECUREWARE.2007.4385310"},{"key":"5_CR19","unstructured":"Wallach, D.S.: A New Approach to Mobile Code Security. PhD thesis, Department of Computer Science, Princeton University (1999)"},{"issue":"4","key":"5_CR20","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 Transactions on Software Engineering and Methodology (TOSEM)\u00a09(4), 341\u2013378 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78789-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:22:20Z","timestamp":1619522540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78789-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787884","9783540787891"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78789-1_5","relation":{},"subject":[]}}