{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:00Z","timestamp":1725490200287},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678977"},{"type":"electronic","value":"9783540446187"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44618-4_5","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:38:51Z","timestamp":1188297531000},"page":"48-65","source":"Crossref","is-referenced-by-count":18,"title":["Programming Access Control: The Klaim Experience"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GianLuigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"key":"5_CR1","unstructured":"K. Arnold, B. Osullivan, R. W. Scheifler, J. Waldo, A. Wollrath, B. O\u2019Sullivan. The Jini specification. Addison Wesley, 1999."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese. Interactive Mobile Agents in X-Klaim. IEEE Seventh International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, Proceedings (P. Ciancarini, R. Tolksdorf, Eds.), IEEE Computer Society Press, 1998.","DOI":"10.1109\/ENABL.1998.725680"},{"key":"5_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/BFb0055617","volume-title":"Concurrency Theory (CONCUR\u201998), Proceedings","author":"C. Bodei","year":"1998","unstructured":"C. Bodei, P. Degano, F. Nielson, H. R. Nielson. Control Flow Analysis for the \u03c0-calculus. Concurrency Theory (CONCUR\u201998), Proceedings (D. Sangiorgi, R. de Simone, Eds.), LNCS 1466, pp. 611\u2013638, Springer, 1998."},{"key":"5_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/3-540-63875-X_56","volume-title":"Advances in Computing Science (ASIAN\u201997), Proceedings","author":"G. Boudol","year":"1997","unstructured":"G. Boudol. Typing the use of resources in a Concurrent Calculus. Advances in Computing Science (ASIAN\u201997), Proceedings (R. K. Shyamasundar, K. Ueda, Eds.), LNCS 1345, pp. 239\u2013253, Springer, 1997."},{"issue":"4","key":"5_CR5","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero, D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444\u2013458, 1989.","journal-title":"Communications of the ACM"},{"key":"5_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures (FoSSaCS\u201998), Proceedings","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli, A. Gordon, Mobile Ambients. Foundations of Software Science and Computation Structures (FoSSaCS\u201998), Proceedings (M. Nivat, Ed.), LNCS 1378, pp. 140\u2013155, Springer, 1998."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"L. Cardelli, A. Gordon, Types for Mobile Ambients. Proc. of the ACM Symposium on Principles of Programming Languages, ACM Press, 1999.","DOI":"10.1145\/292540.292550"},{"key":"5_CR8","series-title":"Lect Notes Comput Sci","volume-title":"ICALP\u201999","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli, G. Ghelli, and A. Gordon, Mobile Types for Mobile Ambients To appear ICALP\u201999, LNCS, Springer, 1999."},{"issue":"5","key":"5_CR9","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/32.685258","volume":"24","author":"A. Fuggetta","year":"1998","unstructured":"A. Fuggetta, G. P. Picco, G. Vigna. Understanding Code Mobility. IEEE Transactions on Software Engineering, Vol. 24(5):342\u2013361, IEEE Computer Society Press, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, ACM Press, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR11","unstructured":"D. Gelernter, N. Carriero, S. Chandran, et al. Parallel Programming in Linda. Proc. of the IEEE International Conference on Parallel Programming, pp. 255\u2013263, IEEE Computer Society Press, 1985."},{"key":"5_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-63383-9_83","volume-title":"Coordination Languages and Models (COORDINATION\u201997), Proceedings","author":"R. Nicola De","year":"1997","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese. Coordinating Mobile Agents via Blackboards and Access Rights. Coordination Languages and Models (COORDINATION\u201997), Proceedings (D. Garlan, D. Le Metayer, Eds.), LNCS 1282, pp. 220\u2013237, Springer, 1997."},{"issue":"5","key":"5_CR13","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, Vol. 24(5):315\u2013330, IEEE Computer Society Press, 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/3-540-48749-2_6","volume-title":"Secure Internet Programming: Security Issues for Distributed and Mobile Objects","author":"R. Nicola De","year":"1999","unstructured":"R. De Nicola, G.-L. Ferrari, R. Pugliese. \u201cTypes as Specifications of Access Policies\u201d, In J. Vitek, C. Jensen (Eds) C. Jensen (Eds). Secure Internet Programming: Security Issues for Distributed and Mobile Objects, LNCS State-Of-The-Art-Survey, LNCS 1603, Springer, 1999 [18], pp. 117\u2013146."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese, B. Venneri. Types for Access Control. To appear, Theoretical Computer Science, 2000. Available at http:\/\/rap.dsi.unifi.it\/papers.html .","DOI":"10.1016\/S0304-3975(99)00232-7"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"G. Necula. Proof-carrying code. Proc. of the ACM Symposium on Principles of Programming Languages, ACM Press, 1997.","DOI":"10.1145\/263699.263712"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"J. Riely, M. Hennessy. Trust and Partial Typing in Open Systems of Mobile Agents. Proc. of the ACM Symposium on Principles of Programming Languages, ACM Press, 1999.","DOI":"10.1145\/292540.292551"},{"key":"5_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Secure Internet Programming: Security Issues for Distributed and Mobile Objects","year":"1999","unstructured":"J. Vitek, C. Jensen (Eds). Secure Internet Programming: Security Issues for Distributed and Mobile Objects, LNCS State-Of-The-Art-Survey, LNCS 1603, Springer, 1999."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"R. Stata, M. Abadi. A Type System for Java Bytecode Verifier. Proc. of the ACM Symposium on Principles of Programming Languages, ACM Press, 1998.","DOI":"10.1145\/268946.268959"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"J. Vitek, G. Castagna. A Calculus of Secure Mobile Computations. Proc. of Workshop on Internet Programming Languages, Chicago, 1998.","DOI":"10.1007\/3-540-47959-7_3"},{"key":"5_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BFb0030629","volume-title":"Theory and Practice of Software Development (TAPSOFT\u201997), Proceeding","author":"D. Volpano","year":"1997","unstructured":"D. Volpano, G. Smith. A typed-based approach to program security. Theory and Practice of Software Development (TAPSOFT\u201997), Proceeding (M. Bidoit, M. Dauchet, Eds.), LNCS 1214, pp. 607\u2013621, Springer, 1997."},{"key":"5_CR22","unstructured":"D. Volpano, G. Smith. Secure Information Flow in a Multi-threaded Imperative Language. Proc. of the ACM Symposium on Principles of Programming Languages, ACM Press, 1998."},{"key":"5_CR23","unstructured":"Sun Microsystems. The JavaSpace Specifications. http:\/\/java.sun.com\/products\/javaspaces , 1997."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Li Gong. The Java Security Architecture (JDK 1.2). http:\/\/java.sun.com\/ , 1998.","DOI":"10.1109\/4236.735987"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2000 \u2014 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44618-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:09:31Z","timestamp":1556802571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44618-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678977","9783540446187"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-44618-4_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}