{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:29Z","timestamp":1749221309482,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650041"},{"type":"electronic","value":"9783540497844"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055860","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:50:09Z","timestamp":1154033409000},"page":"127-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["An authorization model and its formal semantics"],"prefix":"10.1007","author":[{"given":"Elisa","family":"Bertino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Buccafurri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pasquale","family":"Rullo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"issue":"4","key":"9_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.W., Plotkin, G. 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"},{"issue":"1","key":"9_CR2","first-page":"67","volume":"8","author":"E. Bertino","year":"1996","unstructured":"Bertino, E., Bettini, C., Ferrari, E., Samarati, P. A Temporal Access Control Mechanism for Database Systems. IEEE TKDE, 8(1):67\u201380, 1996.","journal-title":"IEEE TKDE"},{"key":"9_CR3","unstructured":"Bertino, E., Bettini, C., Ferrari, E., Samarati, P. An Access Control Mechanism Supporting Periodicity Constraints and Temporal Reasoning. ACM TODS, to appear."},{"key":"9_CR4","unstructured":"Bertino, E., Jajodia, S., Samarati, P. Supporting Multiple Access Control Policies in Database Systems. Proc. of the IEEE Symposium on Research in Security and Privacy, Oakland (CA), 1996."},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0743-1066(95)00076-3","volume":"27","author":"F. Buccafurri","year":"1996","unstructured":"Buccafurri, F., Leone, N., Rullo, P. Stable Models and their Computation for Logic Programming with Inheritance and True Negation. Journal of Logic Programming, 27(1):5\u201343, 1996.","journal-title":"Journal of Logic Programming"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"14","DOI":"10.3233\/AIC-1996-9101","volume":"9","author":"F. Buccafurri","year":"1996","unstructured":"Buccafurri, F., Leone, N., Scarcello, F. On the Expressive Power of Ordered Logic. AI Communications, 9:14\u201313, 1996.","journal-title":"AI Communications"},{"key":"9_CR7","first-page":"279","volume":"17","author":"W. Chen","year":"1995","unstructured":"W. Chen, D.S. Warren. Computing of Stable Models and its Integration with Logical Query Processing. IEEE TKDE, 17:279\u2013300, 1995.","journal-title":"IEEE TKDE"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F., A Deductive System for Nonmonotonic Reasoning, Proc. of the 4th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR \u201997), LNAI 1265, Berlin, 1997.","DOI":"10.1007\/3-540-63255-7_27"},{"key":"9_CR9","first-page":"275","volume":"6","author":"E. Fernandez","year":"1994","unstructured":"E. Fernandez, E.B. Gudes and H. Song. A Model for Evaluation and Administration of Security in Object-Oriented Databases. IEEE TKDE, 6:275\u2013292, 1994.","journal-title":"IEEE TKDE"},{"key":"9_CR10","unstructured":"Gelfond, M., Lifschitz, V. The Stable Model Semantics for Logic Programming. Proc. 5th Int. Conf. on Logic Programming, pp. 1070\u20131080, 1988."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Jajodia, S., Samarati, P., Subrahmanian, V.S., Bertino, E. A Unified Framework for Enforcing Multiple Access Control Policies. Proc. of ACM-SIGMOD, 1997.","DOI":"10.1145\/253260.253364"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Jajodia, S., Samarati, P. Subrahmanian, V.S. A Logical Language for Expressing Authorizations. Proc. IEEE Symposium on Research in Security and Privacy, Oakland (CA), pp. 31\u201342, 1997.","DOI":"10.1109\/SECPRI.1997.601312"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Laenens, E., Sacc\u00e1, D., Vermeir, D. Extending Logic Programming. In Proc. of ACM-SIGMOD, 1990.","DOI":"10.1145\/93597.98728"},{"key":"9_CR14","unstructured":"Lifschitz, V. On the Declarative Semantics of Logic Programs with Negation. Foundation of Deductive Database and Logic Programming, pp. 89\u2013148, 1997."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W. Foundations of Logic Programming, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"9_CR16","unstructured":"Marek, W., Truszczy\u0144ski, M., Computing Intersection of Autoepistemic expansions, Proc. of the 1st Int. Workshop on Logic Programming and Non Monotonic Reasoning, pp. 37\u201350, 191."},{"key":"9_CR17","unstructured":"Niemel\u00c4, I., Simons, P., Efficient Implementation of the Well-founded and Stable Model Semantics. Proc. of the 1996 Joint Int. Conf. and Symposium on Logic Programming, pp. 289\u2013303, Bonn, Germany, 1996."},{"key":"9_CR18","unstructured":"Oracle Corporation. Oracle8 Server Concepts, 1997."},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/103140.103144","volume":"16","author":"F. Rabitti","year":"1991","unstructured":"Rabitti, F., Bertino, E., Kim, E., Woelk, D. A Model of Authorization for Next-Generation Database Systems. ACM TODS, 16(1):88\u2013131, 1991.","journal-title":"ACM TODS"},{"issue":"3","key":"9_CR20","first-page":"362","volume":"7","author":"V.S. Subrahmanian","year":"1995","unstructured":"Subrahmanian, V.S., Nau, D. and Vago, C. WFS + Branch and Bound = Stable Models. IEEE TKDE, 7(3):362\u2013377, 1995.","journal-title":"IEEE TKDE"},{"key":"9_CR21","unstructured":"Ullman, J.D. Principles of Database and Knowledge-Base Systems, Vol. 1 and 2, Computer Science Press, 1989."},{"issue":"2&3","key":"9_CR22","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/JCS-1993-22-304","volume":"2","author":"T.Y.C. Woo","year":"1993","unstructured":"Woo, T.Y.C., Lam, S.S. Authorizations in Distributed Systems: A New Approach. Journal of Computer Security, 2(2 & 3):107\u2013136, 1993.","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 98"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:49:42Z","timestamp":1736480982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055860"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650041","9783540497844"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0055860","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}