{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:34:38Z","timestamp":1725492878403},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661306"},{"type":"electronic","value":"9783540487494"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48749-2_6","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T12:22:57Z","timestamp":1192796577000},"page":"117-146","source":"Crossref","is-referenced-by-count":17,"title":["Types as Specifications of Access Policies"],"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","reference":[{"key":"6_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1007\/BFb0014571","volume-title":"Theoretical Aspects of Computer Software (TACS\u201997), Proceedings","author":"M. Abadi","year":"1997","unstructured":"M. Abadi. Secrecy by Typing in Cryptographic Protocols. Theoretical Aspects of Computer Software (TACS\u201997), Proceedings (M. Abadi, M. Ito, Eds.), LNCS 1281, pp.611\u2013638, Springer, 1997."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi, A.D. Gordon. A calculus for cryptographic protocols: The spi calculus. Proc. of the ACM Conference on Computer and Communication Security, ACM Press, 1997.","DOI":"10.1145\/266420.266432"},{"key":"6_CR3","unstructured":"M. Abadi, R. Stata. A Type System for Java Bytecode Verifier. Proc. of the ACM Symposium on Principles of Programming Languages, ACM Press, 1998."},{"key":"6_CR4","unstructured":"A. Arnold, J. Gosling. The Java Programming Language. Addison Wesley, 1996."},{"key":"6_CR5","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":"6_CR6","series-title":"Lect Notes Comput Sci","first-page":"611","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":"6_CR7","unstructured":"M. Boreale, D. Sangiorgi. Bisimulation in Naming-Passing Calculi without Matching. Proc. of 13th IEEE Symposium on Logic in Computer Science (LICS\u2019 98), IEEE Computer Society Press, 1998."},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","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."},{"key":"6_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","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":"6_CR10","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"},{"issue":"4","key":"6_CR11","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":"6_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Mobile Object Systems Towards the Programmable Internet","author":"G. Cugola","year":"1997","unstructured":"G. Cugola, C. Ghezzi, G.P. Picco, G. Vigna. Analyzing Mobile Code Languages. In Mobile Object Systems Towards the Programmable Internet (J. Vitek, C. Tschudin, Eds.), LNCS 1222, Springer, 1997."},{"key":"6_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","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":"6_CR14","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":"6_CR15","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese, B. Venneri. Types for Access Control. Available at http:\/\/rap.dsi.unifi.it\/papers.html . To appear in Theoretical Computer Science."},{"issue":"1","key":"6_CR16","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":"6_CR17","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":"6_CR18","doi-asserted-by":"crossref","unstructured":"N. Heintz, J.G. Riecke. The SLam calculus: Programming with secrecy and integrity. Proc. of the ACM Symposium on Principles of Programming Languages, ACM Press, 1998.","DOI":"10.1145\/268946.268976"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"M. Hennessy, J. Riely. Resource Access Control in Systems of Mobile Agents. Proc. Int. Workshop on High-Level Concurrent Languages, vol. 16(3) of Electronic Notes in Theoretical Computer Science, Elsevier, 1998.","DOI":"10.1016\/S1571-0661(04)00141-0"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"N. Kobayashi, B. Pierce, D. Turner. Linearity and the \u03c0-calculus. Proc. of the ACM Symposium on Principles of Programming Languages, ACM Press, 1996.","DOI":"10.1145\/237721.237804"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, D. Walker. A calculus of mobile processes, (Part I and II). Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"6_CR22","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"},{"issue":"5","key":"6_CR23","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","volume":"6","author":"B. Pierce","year":"1996","unstructured":"B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Comp. Science, 6(5):409\u2013454, 1996.","journal-title":"Mathematical Structures in Comp. Science"},{"key":"6_CR24","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":"6_CR25","series-title":"Lect Notes Comput Sci","volume-title":"International Colloquium on Automata, Languages and Programming (ICALP\u201998), Proceedings","author":"P. Sewell","year":"1998","unstructured":"P. Sewell. Global\/Local Subtyping and Capability Inference for a Distributed \u03c0-calculus. International Colloquium on Automata, Languages and Programming (ICALP\u201998), Proceedings (K.G. Larsen, S. Skyum, G. Winskel, Eds.), LNCS 1443, Springer, 1998."},{"key":"6_CR26","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":"6_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","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":"6_CR28","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."}],"container-title":["Lecture Notes in Computer Science","Secure Internet Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48749-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T08:09:06Z","timestamp":1587974946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48749-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661306","9783540487494"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-48749-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}