{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:19:01Z","timestamp":1762521541716,"version":"3.37.3"},"reference-count":32,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1016\/j.comnet.2012.09.018","type":"journal-article","created":{"date-parts":[[2012,10,5]],"date-time":"2012-10-05T21:45:54Z","timestamp":1349473554000},"page":"330-350","source":"Crossref","is-referenced-by-count":17,"title":["A formal role-based access control model for security policies in multi-domain mobile networks"],"prefix":"10.1016","volume":"57","author":[{"given":"D.","family":"Unal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.U.","family":"Caglayan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"doi-asserted-by":"crossref","unstructured":"S. De Capitani di Vimercati, P. Samarati, Access control in federated systems, in: Proceedings of the 1996 Workshop on New Security Paradigms, 1996, pp. 87\u201399.","key":"10.1016\/j.comnet.2012.09.018_b0005","DOI":"10.1145\/304851.304871"},{"key":"10.1016\/j.comnet.2012.09.018_b0010","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1109\/TSE.2006.49","article-title":"X-FEDERATE: a policy engineering framework for federated access management","volume":"32","author":"Bhatti","year":"2006","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.comnet.2012.09.018_b0015","first-page":"2093","article-title":"Spatial role-based access control model for wireless networks","volume":"3","author":"Hansen","year":"2003","journal-title":"Proceedings of IEEE Vehicular Technology Conference"},{"key":"10.1016\/j.comnet.2012.09.018_b0020","series-title":"Web Information Systems Engineering","first-page":"361","article-title":"LoT-RBAC: a location and time-based RBAC model","volume":"vol. 3806","author":"Chandran","year":"2005"},{"key":"10.1016\/j.comnet.2012.09.018_b0025","series-title":"Data and Applications Security XXI","first-page":"211","article-title":"A spatio-temporal role-based access control model","volume":"vol. 4602","author":"Ray","year":"2007"},{"unstructured":"M. Kumar, R.E. Newman, STRBAC \u2013 an approach towards spatio-temporal role-based access control, in: Proceedings of the 3rd IASTED Int. Conf. on Communication, Network, and Information Security, 2006, pp. 150\u2013155.","key":"10.1016\/j.comnet.2012.09.018_b0030"},{"issue":"2","key":"10.1016\/j.comnet.2012.09.018_b0035","doi-asserted-by":"crossref","DOI":"10.1145\/1210263.1210265","article-title":"GEO-RBAC: a spatially aware RBAC","volume":"10","author":"Damiani","year":"2007","journal-title":"ACM Transactions on Information and System Security"},{"doi-asserted-by":"crossref","unstructured":"D. Kulkarni, A. Tripathi, Context-aware role-based access control in pervasive computing systems, in: Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, 2008, pp. 113\u2013122.","key":"10.1016\/j.comnet.2012.09.018_b0040","DOI":"10.1145\/1377836.1377854"},{"key":"10.1016\/j.comnet.2012.09.018_b0045","series-title":"Transactions on Computational Science IV","first-page":"177","article-title":"Role based access control with spatiotemporal context for mobile applications","author":"Aich","year":"2009"},{"key":"10.1016\/j.comnet.2012.09.018_b0050","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","article-title":"Role-based access control models","volume":"29","author":"Sandhu","year":"1996","journal-title":"IEEE Computer"},{"key":"10.1016\/j.comnet.2012.09.018_b0055","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/501978.501980","article-title":"Proposed NIST standard for role-based access control","volume":"4","author":"Ferraiolo","year":"2001","journal-title":"ACM Transactions on Information and System Security"},{"key":"10.1016\/j.comnet.2012.09.018_b0060","first-page":"In Press","article-title":"Ambient logic","author":"Cardelli","year":"2006","journal-title":"Mathematical Structures in Computer Science"},{"doi-asserted-by":"crossref","unstructured":"L. Cardelli, A.D. Gordon, Anytime, anywhere: modal logics for mobile ambients, in: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages \u2013 POPL \u201900, 2000, pp. 365\u2013377.","key":"10.1016\/j.comnet.2012.09.018_b0065","DOI":"10.1145\/325694.325742"},{"key":"10.1016\/j.comnet.2012.09.018_b0070","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","article-title":"Mobile ambients","volume":"240","author":"Cardelli","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.comnet.2012.09.018_b0075","series-title":"Computer Network Security","first-page":"155","article-title":"Model checking of location and mobility related security policy specifications in ambient calculus","volume":"vol. 6258","author":"Unal","year":"2010"},{"issue":"2","key":"10.1016\/j.comnet.2012.09.018_b0080","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-2(2:3)2006","article-title":"On the expressiveness of the ambient logic","volume":"2","author":"Hirschkoff","year":"2006","journal-title":"Logical Methods in Computer Science"},{"unstructured":"D. Scott, Abstracting application-level security policy for ubiquitous computing, Ph.D. thesis, University of Cambridge, 2005.","key":"10.1016\/j.comnet.2012.09.018_b0085"},{"key":"10.1016\/j.comnet.2012.09.018_b0090","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.tcs.2008.01.040","article-title":"Role-based access control for boxed ambients","volume":"398","author":"Compagnoni","year":"2008","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.comnet.2012.09.018_b0095","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/JCS-2008-16101","article-title":"Synthesising verified access control systems through model checking","volume":"16","author":"Zhang","year":"2008","journal-title":"Journal of Computer Security"},{"key":"10.1016\/j.comnet.2012.09.018_b0100","first-page":"1","article-title":"A model checking-based approach for security policy verification of mobile systems","author":"Braghin","year":"2010","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.comnet.2012.09.018_b0105","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-3-540-25974-9_8","article-title":"Model checking biological systems described using ambient calculus","volume":"3082","author":"Mardare","year":"2005","journal-title":"Computational Methods in Systems Biology"},{"key":"10.1016\/j.comnet.2012.09.018_b0110","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0304-3975(02)00832-0","article-title":"Model checking mobile ambients","volume":"308","author":"Charatonik","year":"2003","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.comnet.2012.09.018_b0115","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/501978.501979","article-title":"Trbac: a temporal role-based access control model","volume":"4","author":"Bertino","year":"2001","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"key":"10.1016\/j.comnet.2012.09.018_b0120","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/TKDE.2005.1","article-title":"A generalized temporal role-based access control model","volume":"17","author":"Joshi","year":"2005","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"doi-asserted-by":"crossref","unstructured":"S. Mondal, S. Sural, XML-based policy specification framework for spatiotemporal access control, in: Proceedings of the 2nd International Conference on Security of Information and Networks, 2009, pp. 98\u2013103.","key":"10.1016\/j.comnet.2012.09.018_b0125","DOI":"10.1145\/1626195.1626220"},{"unstructured":"W3C Web Services Architecture, 2004. <https:\/\/2.zoppoz.workers.dev:443\/http\/www.w3.org\/TR\/ws-arch\/> (accessed October 2011).","key":"10.1016\/j.comnet.2012.09.018_b0130"},{"unstructured":"W3C Web Services Glossary, 2004. <https:\/\/2.zoppoz.workers.dev:443\/http\/www.w3.org\/TR\/ws-gloss\/> (accessed February 2011).","key":"10.1016\/j.comnet.2012.09.018_b0135"},{"unstructured":"D. Unal, M. Caglayan, Theorem proving for modeling and conflict checking of authorization policies, in: Proceedings of the International Symposium on Computer Networks, 2006, pp. 146\u2013151.","key":"10.1016\/j.comnet.2012.09.018_b0140"},{"key":"10.1016\/j.comnet.2012.09.018_b0145","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/383891.383894","article-title":"Flexible support for multiple access control policies","volume":"26","author":"Jajodia","year":"2001","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/j.comnet.2012.09.018_b0150","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/382912.382913","article-title":"Role-based authorization constraints specification","volume":"3","author":"Ahn","year":"2000","journal-title":"ACM Transactions on Information and System Security"},{"doi-asserted-by":"crossref","unstructured":"D. Unal, M.U. Caglayan, Spatio-temporal model checking of location and mobility related security policy specifications, Turkish Journal of Electrical Engineering & Computer Sciences, (2012), in press. https:\/\/2.zoppoz.workers.dev:443\/http\/dx.doi.org\/10.3906\/elk-1105-54.","key":"10.1016\/j.comnet.2012.09.018_b0155","DOI":"10.3906\/elk-1105-54"},{"key":"10.1016\/j.comnet.2012.09.018_b0160","first-page":"410","article-title":"Nusmv: a new symbolic model checker","volume":"4","author":"Giunchiglia","year":"2000","journal-title":"International Journal on Software Tools for Technology Transfer"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S1389128612003490?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S1389128612003490?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T02:54:26Z","timestamp":1687748066000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128612003490"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["S1389128612003490"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.comnet.2012.09.018","relation":{},"ISSN":["1389-1286"],"issn-type":[{"type":"print","value":"1389-1286"}],"subject":[],"published":{"date-parts":[[2013,1]]}}}