{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:31:20Z","timestamp":1747463480457,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035639","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:29:25Z","timestamp":1138202965000},"page":"421-435","source":"Crossref","is-referenced-by-count":11,"title":["Reasoning about security: A logic and a decision method for role-based access control"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Massacci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"issue":"4","key":"32_CR1","doi-asserted-by":"crossref","first-page":"706","DOI":"10.1145\/155183.155225","volume":"15","author":"M. Abadi","year":"1993","unstructured":"M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A calculus for access control in distributed systems. ACM Trans. on Programming Languages and Systems, 15(4):706\u2013734, 1993.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"R. Anderson. A security policy model for clinical information systems. In Proc. of the Symp. on Security and Privacy. IEEE Press, 1996.","DOI":"10.1109\/SECPRI.1996.502667"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"B. Beckert and R. Gor\u00e9. Free variable tableaux for propositional modal logics. In Proc. of TABLEAUX-97, LNAI. Springer-Verlag, 1997. To appear.","DOI":"10.1007\/BFb0027407"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"D. Bell and L. La Padula. Secure computer systems: unified exposition and MULTICS. Report ESD-TR-75-306, The MITRE Corporation, March 1976.","DOI":"10.21236\/ADA023588"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"E. Bertino, S. Jajodia, and P. Samarati. Supporting multiple access control policies in database systems. In Proc. of the Symp. on Security and Privacy, pp. 94\u2013109. IEEE Press, 1996.","DOI":"10.1109\/SECPRI.1996.502673"},{"issue":"1","key":"32_CR6","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"M. Burrows, M. Abadi, and R. Needham. A logic for authentication. ACM Trans. on Comp. Sys., 8(1):18\u201336, 1990. Also as research report SRC-39, DEC \u2014 System Research Center, 1989.","journal-title":"ACM Trans. on Comp. Sys."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"D. Clark and D. Wilson. A comparison of commercial and military computer security policies. In Proc. of the Symp. on Security and Privacy, pp. 184\u2013194. IEEE Press, 1987.","DOI":"10.1109\/SP.1987.10001"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"F. Cuppens and R. Demolombe. A deontic logic for reasoning about confidentiality. In 3rd Int. Workshop on Deontic Logic in Computer Science, Portugal, 1996.","DOI":"10.1007\/978-1-4471-1488-8_4"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"G. De Giacomo and F. Massacci. Tableaux and algorithms for propositional dynamic logic with converse. In Proc. of the 13th Int. Conf. on Automated Deduction (CADE-96), LNAI 1104, pp. 613\u2013628. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61511-3_117"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. The MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"32_CR11","unstructured":"D. Ferraiolo, J. Cugini, and K. Richard. Role-based access control (RBAC): Features and motivations. In Proc. of the Annual Computer Security Applications Conf.. IEEE Press, 1995."},{"key":"32_CR12","unstructured":"D. Ferraiolo and R. Kuhn. Role based access control. In Proc. of the NIST-NCSC Nat. (U.S.) Comp. Security Conf., pp. 554\u2013563, 1992."},{"key":"32_CR13","unstructured":"D. Ferraiolo, D. Gilbert, and N. Lynch. An examination of federal and commercial access control policy needs. In Proc. of the NIST-NCSC Nat. (U.S.) Comp. Security Conf., pp. 107\u2013116, 1993."},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, 1983.","DOI":"10.1007\/978-94-017-2794-5"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"L. Giuri and P. Iglio. A formal model for role based access control with constraints. In Proc. of the Computer Security Foundations Workshop, pp. 136\u2013145. IEEE Press, 1996.","DOI":"10.1109\/CSFW.1996.503698"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"J. Glasgow, J. MacEwen, and P. Panangaden. A logic for reasoning about security. In Proc. of the Symp. on Security and Privacy, pp. 2\u201313. IEEE Press, 1990.","DOI":"10.1109\/CSFW.1990.128180"},{"key":"32_CR17","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Halpern","year":"1992","unstructured":"J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"issue":"8","key":"32_CR18","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/360303.360333","volume":"19","author":"M. Harrison","year":"1976","unstructured":"M. Harrison, W. Ruzzo, and J. Ullman. Protection in operating systems. Comm. of the ACM, 19(8):461\u2013471, 1976.","journal-title":"Comm. of the ACM"},{"issue":"3","key":"32_CR19","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1111\/j.1755-2567.1972.tb00928.x","volume":"38","author":"S. Kanger","year":"1972","unstructured":"S. Kanger. Law and logic. Theoria, 38(3):105\u2013132, 1972.","journal-title":"Theoria"},{"key":"32_CR20","unstructured":"C. Krogh. Obligations in multiagent systems. In Scandinavian Conf. on Artificial Intelligence (SCAI-95), pp. 29\u201331. ISO Press, 1995."},{"issue":"1","key":"32_CR21","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/775265.775268","volume":"8","author":"B. Lampson","year":"1974","unstructured":"B. Lampson. Protection. ACM Operating Sys. Reviews, 8(1):18\u201324, 1974.","journal-title":"ACM Operating Sys. Reviews"},{"issue":"4","key":"32_CR22","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B. Lampson","year":"1992","unstructured":"B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: Theory and practice. ACM Trans. on Computer Systems, 10(4):265\u2013310, 1992.","journal-title":"ACM Trans. on Computer Systems"},{"key":"32_CR23","doi-asserted-by":"crossref","unstructured":"F. Massacci. Strongly analytic tableaux for normal modal logics. In Proc. of the Int. Conf. on Automated Deduction (CADE-94), LNAI 814, pp. 723\u2013737. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58156-1_52"},{"key":"32_CR24","doi-asserted-by":"crossref","unstructured":"F. Massacci. Tableaux methods for access control in distributed systems. In Proc. of TABLEAUX-97, LNAI. Springer-Verlag, 1997. To appear.","DOI":"10.1007\/BFb0027418"},{"key":"32_CR25","doi-asserted-by":"crossref","unstructured":"C. McCollum, J. Messing, and L. Notargiacomo. Beyond the pale of MAC and DAC \u2014 defining new forms of access control. In Proc. of the Symp. on Security and Privacy, pp. 190\u2013200, IEEE Press, 1990.","DOI":"10.1109\/RISP.1990.63850"},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"R. Sandhu, E. Coyne, H. Feinstein, and C. Youman. Role-based access controls models. IEEE Computer, 29(2), February 1996.","DOI":"10.1109\/2.485845"},{"key":"32_CR27","doi-asserted-by":"crossref","unstructured":"R. Sandhu. The typed access matrix model. In Proc. of the Symp. on Security and Privacy, pp. 122\u2013136. IEEE Press, 1992.","DOI":"10.1109\/RISP.1992.213266"},{"key":"32_CR28","doi-asserted-by":"crossref","unstructured":"R. Sandhu and P. Samarati. Access control: Principles and practice. IEEE Communications Magazine, pp. 40\u201348, September 1994.","DOI":"10.1109\/35.312842"},{"key":"32_CR29","doi-asserted-by":"crossref","unstructured":"P. Syverson. The use of logic in the analysis of cryptographic protocols. In Proc. of the Symp. on Security and Privacy, pp. 156\u2013170. IEEE Press, 1991.","DOI":"10.1109\/RISP.1991.130784"},{"key":"32_CR30","doi-asserted-by":"crossref","unstructured":"P. Syverson and P. van Oorschot. On unifying some cryptographic protocols logics. In Proc. of the Symp. on Security and Privacy. IEEE Press, 1994.","DOI":"10.21236\/ADA465512"}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035639","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T11:57:05Z","timestamp":1736251025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035639"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/bfb0035639","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}