{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T05:13:02Z","timestamp":1736226782596,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540300076"},{"type":"electronic","value":"9783540314837"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11580850_6","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T05:50:36Z","timestamp":1133848236000},"page":"75-97","source":"Crossref","is-referenced-by-count":2,"title":["Types for Security in a Mobile World"],"prefix":"10.1007","author":[{"given":"Adriana B.","family":"Compagnoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elsa L.","family":"Gunter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"6_CR1","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/155183.155225","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed system. ACM Transactions on Programming Languages and Systems\u00a015(4), 706\u2013734 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Ahn, G.-J., Sandhu, R.: The RSL99 language for role-based separation of duty constraints. In: Proceedings of the 4th Workshop on Role-Based Access Control, pp. 43\u201354 (1999)","DOI":"10.1145\/319171.319176"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/382912.382913","volume":"3","author":"G.J. Ahn","year":"2000","unstructured":"Ahn, G.J., Sandhu, R.: Role-based authorization constraints specification. ACM Transactions on Information and System Security\u00a03(4), 207\u2013226 (2000)","journal-title":"ACM Transactions on Information and System Security"},{"issue":"4","key":"6_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/382912.382913","volume":"3","author":"G.-J. Ahn","year":"2000","unstructured":"Ahn, G.-J., Sandhu, R.: Role-based authorization constraints specification. ACM Trans. Inf. Syst. Secur.\u00a03(4), 207\u2013226 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/373256.373261","volume-title":"Proc. of 6th SACMAT","author":"E. Bertino","year":"2001","unstructured":"Bertino, E., Catania, B., Ferrari, E., Perlasca, P.: A logical framework for reasoning about access control models. In: Proc. of 6th SACMAT, pp. 41\u201352. ACM Press, New York (2001)"},{"key":"6_CR6","first-page":"164","volume-title":"Proceedings of the 17th Symposium on Security and Privacy","author":"M. Blaze","year":"1996","unstructured":"Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: Proceedings of the 17th Symposium on Security and Privacy, pp. 164\u2013173. IEEE Computer Society, Los Alamitos (1996)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-28629-5_7","volume-title":"Mathematical Foundations of Computer Science 2004","author":"E. Bonelli","year":"2004","unstructured":"Bonelli, E., Compagnoni, A., Dezani-Ciancaglini, M., Garralda, P.: Boxed Ambients with Communication Interfaces (BACI). In: Fiala, J., Koubek, V., Kratochv\u00edl, J. (eds.) MFCS 2004. LNCS, vol.\u00a03153, pp. 119\u2013148. Springer, Heidelberg (2004)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/CSFW.2004.1310731","volume-title":"Proceedings of 17th Computer Security Foundations Workshop (CSFW 2004)","author":"C. Braghin","year":"2004","unstructured":"Braghin, C., Gorla, D., Sassone, V.: A distributed calculus for role-based access control. In: Proceedings of 17th Computer Security Foundations Workshop (CSFW 2004), pp. 48\u201360. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-44685-0_8","volume-title":"CONCUR 2001 - Concurrency Theory","author":"M. Bugliesi","year":"2001","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Reasoning about security in mobile ambients. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 102\u2013120. Springer, Heidelberg (2001)"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/963778.963781","volume":"26","author":"M. Bugliesi","year":"2004","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Access Control for Mobile Agents: The Calculus of Boxed Ambients. ACM Transactions on Programming Languages and Systems\u00a026(1), 57\u2013124 (2004)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/3-540-36206-1_8","volume-title":"FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science","author":"M. Bugliesi","year":"2002","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication and Mobility Control in Boxed Ambients. In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol.\u00a02556, pp. 71\u201384. Springer, Heidelberg (2002)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/3-540-36206-1_8","volume-title":"FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science","author":"M. Bugliesi","year":"2002","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication interference in mobile boxed ambients. In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol.\u00a02556, pp. 71\u201384. Springer, Heidelberg (2002)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-44929-9_25","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Ambient Groups and Mobility Types. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 333\u2013347. Springer, Heidelberg (2000); Extended version to appear in Information and Computation, special issue on TCS (2000)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, p. 140. Springer, Heidelberg (1998)"},{"key":"#cr-split#-6_CR15.1","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science??240(1), 177???213 (2000);","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"#cr-split#-6_CR15.2","unstructured":"Le M??tayer, D. (ed.): Special Issue on Coordination"},{"key":"6_CR16","series-title":"ENTCS","volume-title":"CATS 2003","author":"M. Coppo","year":"2003","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E., Salvo, I.: SalvoM3: Mobility Types for Mobile Processes in Mobile Ambients. In: Harland, J. (ed.) CATS 2003. ENTCS, vol.\u00a078. Elsevier, Amsterdam (2003)"},{"key":"6_CR17","unstructured":"Crook, R., Ince, D., Nuseibeh, B.: Towards an analytical role modelling framework for security requirements. In: Proc. of the 8th International Workshop on Requirements Engineering: Foundation for Software Quality, Essen, Germany, pp. 123\u2013138 (2002)"},{"key":"6_CR18","unstructured":"Ferraiolo, D., Kuhn, R.: Role-based access controls. In: 15th NIST- NCSC National Computer Security Conference, pp. 554\u2013563 (1992)"},{"issue":"3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/501978.501980","volume":"4","author":"D.F. Ferraiolo","year":"2001","unstructured":"Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D.R., Chandramouli, R.: Proposed NIST standard for role-based access control. ACM Trans. Inf. Syst. Secur.\u00a04(3), 224\u2013274 (2001)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"6_CR20","series-title":"ENTCS","volume-title":"International Workshop on Developements in Computational Models (DCM 2005)","author":"P. Garralda","year":"2005","unstructured":"Garralda, P., Compagnoni, A.: Splitting Mobility and Communication in Boxed Ambients. In: Fernandez, M., Mackie, I. (eds.) International Workshop on Developements in Computational Models (DCM 2005). ENTCS. Elsevier, Amsterdam (2005)"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1109\/CSFW.1996.503698","volume-title":"CSFW 1996: Proceedings of the Ninth IEEE Computer Security Foundations Workshop","author":"L. Giuri","year":"1996","unstructured":"Giuri, L., Iglio, P.: A formal model for role-based access control with constraints. In: CSFW 1996: Proceedings of the Ninth IEEE Computer Security Foundations Workshop, p. 136. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Gorla, D., Hennessy, M., Sassone, V.: Security policies as membranes in systems for global computing. In: Foundations of Global Ubiquitous Computing, FGUC 2004. ENTCS (2004)","DOI":"10.2168\/LMCS-1(3:2)2005"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-36576-1_18","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Hennessy","year":"2003","unstructured":"Hennessy, M., Merro, M., Rathke, J.: Towards a behavioural theory of access and mobility control in distributed system (extended abstract). In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 282\u2013298. Springer, Heidelberg (2003)"},{"issue":"1","key":"6_CR24","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Inf. Comput.\u00a0173(1), 82\u2013120 (2002)","journal-title":"Inf. Comput."},{"issue":"1","key":"6_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/596980.596981","volume":"25","author":"F. Levi","year":"2003","unstructured":"Levi, F., Sangiorgi, D.: Controlling Interference in Ambients. Transactions on Programming Languages and Systems\u00a025(1), 1\u201369 (2003)","journal-title":"Transactions on Programming Languages and Systems"},{"issue":"1","key":"6_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/596980.596981","volume":"25","author":"F. Levi","year":"2003","unstructured":"Levi, F., Sangiorgi, D.: Mobile safe ambients. Transactions on Programming Languages and Systems\u00a025(1), 1\u201369 (2003)","journal-title":"Transactions on Programming Languages and Systems"},{"key":"6_CR27","first-page":"114","volume-title":"Proceedings of the 2002 IEEE Symposium on Security and Privacy","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust management framework. In: Proceedings of the 2002 IEEE Symposium on Security and Privacy, May 2002, pp. 114\u2013130. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1145\/990036.990058","volume-title":"SACMAT 2004: Proceedings of the ninth ACM symposium on Access control models and technologies","author":"N. Li","year":"2004","unstructured":"Li, N., Tripunitara, M.V.: Security analysis in role-based access control. In: SACMAT 2004: Proceedings of the ninth ACM symposium on Access control models and technologies, pp. 126\u2013135. ACM Press, New York (2004)"},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1145\/501983.502005","volume-title":"CCS 2001: Proceedings of the 8th ACM conference on Computer and Communications Security","author":"N. Li","year":"2001","unstructured":"Li, N., Winsborough, W.H., Mitchell, J.C.: Distributed credential chain discovery in trust management: extended abstract. In: CCS 2001: Proceedings of the 8th ACM conference on Computer and Communications Security, pp. 156\u2013165. ACM Press, New York (2001)"},{"key":"6_CR30","first-page":"123","volume-title":"SP 2003: Proceedings of the 2003 IEEE Symposium on Security and Privacy","author":"N. Li","year":"2003","unstructured":"Li, N., Winsborough, W.H., Mitchell, J.C.: Beyond proof-of-compliance: Safety and availability analysis in trust management. In: SP 2003: Proceedings of the 2003 IEEE Symposium on Security and Privacy, p. 123. IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"9","key":"6_CR31","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1016\/0167-4048(94)90048-5","volume":"13","author":"I. Mohammed","year":"1994","unstructured":"Mohammed, I., Dilts, D.M.: Design for dynamic user-role-based security. Comput. Secur.\u00a013(9), 661\u2013671 (1994)","journal-title":"Comput. Secur."},{"key":"6_CR32","first-page":"37","volume-title":"Proceedings of the IFIP WG11.3 Working Conference on Database Security VII","author":"M. Nyanchama","year":"1994","unstructured":"Nyanchama, M., Osborn, S.L.: Access rights administration in role-based security systems. In: Proceedings of the IFIP WG11.3 Working Conference on Database Security VII, pp. 37\u201356. North-Holland, Amsterdam (1994)"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Sandhu, R.S.: The typed access control model. In: Proceedings of the IEEE Symposium on Research in Security and Privacy, pp. 122\u2013136 (1992)","DOI":"10.1109\/RISP.1992.213266"},{"key":"6_CR34","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/RISP.1992.213266","volume-title":"SP 1992: Proceedings of the 1992 IEEE Symposium on Security and Privacy","author":"R.S. Sandhu","year":"1992","unstructured":"Sandhu, R.S.: The typed access matrix model. In: SP 1992: Proceedings of the 1992 IEEE Symposium on Security and Privacy, p. 122. IEEE Computer Society Press, Los Alamitos (1992)"},{"issue":"11","key":"6_CR35","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/2.241422","volume":"26","author":"R.S. Sandhu","year":"1993","unstructured":"Sandhu, R.S.: Lattice-based access control models. IEEE Computer\u00a026(11), 9\u201319 (1993)","journal-title":"IEEE Computer"},{"issue":"2","key":"6_CR36","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R.S. Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. IEEE Computer\u00a029(2), 38\u201347 (1996)","journal-title":"IEEE Computer"},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/507711.507714","volume-title":"SACMAT 2002: Proceedings of the seventh ACM symposium on Access control models and technologies","author":"A. Schaad","year":"2002","unstructured":"Schaad, A., Moffett, J.D.: A lightweight approach to specification and analysis of role-based access control extensions. In: SACMAT 2002: Proceedings of the seventh ACM symposium on Access control models and technologies, pp. 13\u201322. ACM Press, New York (2002)"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Thomas, R.K.: Team-based access control (TMAC): a primitive for applying role-based access controls in collaborative environments. In: Proceedings of the second ACM workshop on Role-based access control, pp. 13\u201319 (1997)","DOI":"10.1145\/266741.266748"},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Thomas, R.K., Sandhu, R.S.: Task-based authorization controls (TBAC): A family of models for active and enterprise-oriented authorization management. In: Proceedings of the IFIP TC11 WG11.3 Eleventh International Conference on Database Securty XI: Status and Prospects, pp. 166\u2013181 (1997)","DOI":"10.1007\/978-0-387-35285-5_10"},{"key":"6_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-47959-7_3","volume-title":"Internet Programming Languages","author":"J. Vitek","year":"1999","unstructured":"Vitek, J., Castagna, G.: Seal: A framework for secure mobile computations. In: Bal, H.E., Belkhouche, B., Cardelli, L. (eds.) ICCL-WS 1998. LNCS, vol.\u00a01686, pp. 47\u201377. Springer, Heidelberg (1999)"},{"issue":"9","key":"6_CR41","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1016\/0167-4048(94)90049-3","volume":"13","author":"S.H. Solms von","year":"1994","unstructured":"von Solms, S.H., van der Merwe, I.: The management of computer security profiles using a role-oriented approach. Comput. Secur.\u00a013(9), 673\u2013680 (1994)","journal-title":"Comput. Secur."}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11580850_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T08:17:10Z","timestamp":1736151430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11580850_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300076","9783540314837"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/11580850_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}