{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T15:40:14Z","timestamp":1739288414136,"version":"3.37.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,7,30]],"date-time":"2009-07-30T00:00:00Z","timestamp":1248912000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1007\/s11225-009-9203-4","type":"journal-article","created":{"date-parts":[[2009,7,29]],"date-time":"2009-07-29T14:33:58Z","timestamp":1248878038000},"page":"437-477","source":"Crossref","is-referenced-by-count":5,"title":["A Meta-model of Access Control in a Fibred Security Language"],"prefix":"10.1007","volume":"92","author":[{"given":"Steve","family":"Barker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Boella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov M.","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valerio","family":"Genovese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,7,30]]},"reference":[{"key":"9203_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., \u2018Logic in Access Control\u2019, Logic in Computer Science, IEEE Computer Society, 2003, pp. 228\u2013233.","DOI":"10.1109\/LICS.2003.1210062"},{"key":"9203_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2007.02.002","volume":"172","author":"M. Abadi","year":"2007","unstructured":"Abadi M.: \u2018Access Control in a Core Calculus of Dependency\u2019. Electr. Notes Theor. Comput. Sci. 172, 5\u201331 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9203_CR3","doi-asserted-by":"crossref","unstructured":"Abadi, M., \u2018Variations in Access Control Logic\u2019, in R. van der Meyden and L. van der Torre, (eds.), Deontic Logic in Computer Science, vol. 5076 of Lecture Notes in Computer Science, Springer, 2008, pp. 96\u2013109.","DOI":"10.1007\/978-3-540-70525-3_9"},{"key":"9203_CR4","doi-asserted-by":"crossref","unstructured":"Abadi, M., M. Burrows, B. W. Lampson, and G. D. Plotkin, \u2018A Calculus for Access Control in Distributed Systems\u2019, in J. Feigenbaum, (ed.), CRYPTO, vol. 576 of Lecture Notes in Computer Science, Springer, 1991, pp. 1\u201323.","DOI":"10.1007\/3-540-46766-1_1"},{"issue":"4","key":"9203_CR5","doi-asserted-by":"crossref","first-page":"706","DOI":"10.1145\/155183.155225","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi M., Burrows M., Lampson B.W., Plotkin G.D.: \u2018A Calculus for Access Control in Distributed Systems\u2019. ACM Trans. Program. Lang. Syst. 15((4), 706\u2013734 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9203_CR6","unstructured":"ANSI. RBAC, 2004. INCITS 359-2004."},{"key":"9203_CR7","doi-asserted-by":"crossref","unstructured":"Barker, S., The next 700 access control models or a unifying meta-model?, SACMAT, 2009, pp. 187\u2013196.","DOI":"10.1145\/1542207.1542238"},{"key":"9203_CR8","doi-asserted-by":"crossref","unstructured":"Barker, S., M. J. Sergot, and D. Wijesekera, \u2018Status-based access control\u2019, ACM Trans. Inf. Syst. Secur., 12 (1), 2008.","DOI":"10.1145\/1410234.1410235"},{"issue":"4","key":"9203_CR9","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/950191.950194","volume":"6","author":"S. Barker","year":"2003","unstructured":"Barker S., Stuckey P.: \u2018Flexible access control policy specification with constraint logic programming\u2019. ACM Trans. on Information and System Security 6((4), 501\u2013546 (2003)","journal-title":"ACM Trans. on Information and System Security"},{"key":"9203_CR10","doi-asserted-by":"crossref","unstructured":"Becker, M. Y., C. Fournet, and A. D. Gordon, \u2018Design and Semantics of a Decentralized Authorization Language\u2019, CSF, IEEE Computer Society, 2007, pp. 3\u201315.","DOI":"10.1109\/CSF.2007.18"},{"key":"9203_CR11","doi-asserted-by":"crossref","unstructured":"Bell, D. E., and L. J. LaPadula, \u2018Secure Computer System: Unified Exposition and Multics Interpretation\u2019, MITRE-2997, 1976.","DOI":"10.21236\/ADA023588"},{"issue":"3","key":"9203_CR12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/293910.293151","volume":"23","author":"E. Bertino","year":"1998","unstructured":"Bertino E., Bettini C., Ferrari E., Samarati P.: \u2018An Access Control Model Supporting Periodicity Constraints and Temporal Reasoning. ACM Transactions on Database Systems 23((3), 231\u2013285 (1998)","journal-title":"ACM Transactions on Database Systems"},{"key":"9203_CR13","doi-asserted-by":"crossref","unstructured":"Bertolissi, C., M. Fern\u00b4andez, and S. Barker, \u2018Dynamic Event-Based Access Control as Term Rewriting\u2019, in S. Barker and G.-J. Ahn, (eds.), DBSec, vol. 4602 of Lecture Notes in Computer Science, Springer, 2007, pp. 195\u2013210.","DOI":"10.1007\/978-3-540-73538-0_15"},{"key":"9203_CR14","unstructured":"Genovese, V., D. M. Gabbay, G. Boella, and L. van der Torre, \u2018FSL \u2013 Fibred Security Language\u2019, Normative Multi-Agent Systems, number 09121 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2009,"},{"key":"9203_CR15","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/s11225-009-9201-6","volume":"92","author":"G. Boella","year":"2009","unstructured":"Boella G., Gabbay D.M., Genovese V., van der Torre L.: \u2018Fibred Security Language\u2019. Studia Logica 92, 395\u2013436 (2009)","journal-title":"Studia Logica"},{"issue":"4","key":"9203_CR16","doi-asserted-by":"crossref","first-page":"285","DOI":"10.3233\/JCS-2001-9402","volume":"9","author":"D.E. Clarke","year":"2001","unstructured":"Clarke D.E., Elien J.-E., Ellison C.M., Fredette M., Morcos A., Rivest R.L.: Certificate Chain Discovery in SPKI\/SDSI. J. Computer Security 9((4), 285\u2013322 (2001)","journal-title":"J. Computer Security"},{"key":"9203_CR17","doi-asserted-by":"crossref","unstructured":"Ferraiolo, D. F., andV. Atluri, \u2018A meta model for access control: why is it needed and is it even possible to achieve?\u2019 ACM Symposium on Access Control Models and Technologies - SACMAT, 2008, pp. 153\u2013154.","DOI":"10.1145\/1377836.1377860"},{"issue":"3","key":"9203_CR18","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/501978.501980","volume":"4","author":"D.F. Ferraiolo","year":"2001","unstructured":"Ferraiolo D.F., Sandhu R.S., Gavrila S.I., Kuhn D.R., Chandramouli R.: \u2018Proposed NIST standard for role-based access control\u2019. ACM TISSEC 4((3), 224\u2013274 (2001)","journal-title":"ACM TISSEC"},{"key":"9203_CR19","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., Fibring Logics, Oxford University Press, 1999.","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"9203_CR20","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y., and V. Weissman, \u2018Using First-Order Logic to Reason about Policies\u2019, ACM Trans. Inf. Syst. Secur., 11 (4), 2008.","DOI":"10.1145\/1380564.1380569"},{"issue":"8","key":"9203_CR21","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/360303.360333","volume":"19","author":"M.A. Harrison","year":"1976","unstructured":"Harrison M.A., Ruzzo W.L., Ullman J.D.: \u2018Protection in Operating Systems\u2019. Commun. ACM 19((8), 461\u2013471 (1976)","journal-title":"Commun. ACM"},{"issue":"2","key":"9203_CR22","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/383891.383894","volume":"26","author":"S. Jajodia","year":"2001","unstructured":"Jajodia S., Samarati P., Sapino M., Subrahmaninan V.: \u2018Flexible Support for Multiple Access Control Policies\u2019. ACM TODS 26((2), 214\u2013260 (2001)","journal-title":"ACM TODS"},{"issue":"1","key":"9203_CR23","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/TKDE.2005.1","volume":"17","author":"J. Joshi","year":"2005","unstructured":"Joshi J., Bertino E., Latif U., Ghafoor A.: \u2018A Generalized Temporal Role- Based Access Control Model\u2019. IEEE Trans. Knowl. Data Eng. 17((1), 4\u201323 (2005)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"4","key":"9203_CR24","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B.W. Lampson","year":"1992","unstructured":"Lampson B.W., Abadi M., Burrows M., Wobber E.: \u2018Authentication in Distributed Systems: Theory and Practice\u2019. ACM Trans. Comput. Syst. 10((4), 265\u2013310 (1992)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"3","key":"9203_CR25","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P.J. Landin","year":"1966","unstructured":"Landin P.J.: \u2018The Next 700 Programming Languages\u2019. Commun. ACM 9((3), 157\u2013166 (1966)","journal-title":"Commun. ACM"},{"issue":"1","key":"9203_CR26","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/605434.605438","volume":"6","author":"N. Li","year":"2003","unstructured":"Li N., Grosof B.N., Feigenbaum J.: \u2018Delegation logic: A logic-based approach to distributed authorization\u2019. ACM Trans. Inf. Syst. Secur. 6((1), 128\u2013171 (2003)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"9203_CR27","unstructured":"Li, N., J. C. Mitchell, and W. H. Winsborough, \u2018Design of a role-based trust-management framework\u2019, IEEE Symposium on Security and Privacy, 2002, pp. 114\u2013130."},{"issue":"1","key":"9203_CR28","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0004-3702(03)00063-8","volume":"149","author":"C.-J. Liau","year":"2003","unstructured":"Liau C.-J.: \u2018Belief, information acquisition, and trust in multi-agent systems\u2013 a modal logic formulation\u2019. Artif. Intell. 149((1), 31\u201360 (2003)","journal-title":"Artif. Intell."},{"key":"9203_CR29","unstructured":"OASIS, eXtensible Access Control Markup language (XACML), 2003. http:\/\/www.oasis-open.org\/xacml\/docs\/ ."},{"key":"9203_CR30","doi-asserted-by":"crossref","unstructured":"Sandhu, R.S., and Q. Munawer, \u2018How to Do Discretionary Access Control Using Roles\u2019, ACM Workshop on Role-Based Access Control, 1998, pp. 47\u201354.","DOI":"10.1145\/286884.286893"},{"key":"9203_CR31","doi-asserted-by":"crossref","unstructured":"Weitzner, D. J., J. Hendler, T. Berners-Lee, and D. Connolly, \u2018Creating a Policy-Aware Web: Discretionary, Rule-based Access for the World Wide Web\u2019, Web and Information Security, 2006.","DOI":"10.4018\/978-1-59140-588-7.ch001"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9203-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-009-9203-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9203-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T15:00:52Z","timestamp":1739286052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-009-9203-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,30]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["9203"],"URL":"https:\/\/doi.org\/10.1007\/s11225-009-9203-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2009,7,30]]}}}