{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:54:05Z","timestamp":1725558845126},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201762"},{"type":"electronic","value":"9783540399810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/10958513_24","type":"book-chapter","created":{"date-parts":[[2006,7,6]],"date-time":"2006-07-06T11:00:21Z","timestamp":1152183621000},"page":"310-324","source":"Crossref","is-referenced-by-count":2,"title":["A Logic Model for Temporal Authorization Delegation with Negation"],"prefix":"10.1007","author":[{"given":"Chun","family":"Ruan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Varadharajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"Allen, J.F.: Towards a general theory of action and time. Artificial Intelligence\u00a023, 123\u2013154 (1984)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"24_CR2","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 systems. ACM Trans. on Programming Languages and Systems\u00a015(4), 706\u2013734 (1993)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"24_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1300","DOI":"10.1007\/3-540-44957-4_87","volume-title":"Computational Logic - CL 2000","author":"S. Barker","year":"2000","unstructured":"Barker, S.: Data protection by logic programming. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1300\u20131314. Springer, Heidelberg (2000)"},{"issue":"1","key":"24_CR4","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 Trans. on KDE\u00a08(1), 67\u201380 (1996)","journal-title":"IEEE Trans. on KDE"},{"issue":"3","key":"24_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/501978.501979","volume":"4","author":"E. Bertino","year":"2001","unstructured":"Bertino, E., Bonatti, P.A., Ferrari, E.: TRBAC: A temporal role-based access control model. ACM Trans. on Information and System Security\u00a04(3), 191\u2013233 (2001)","journal-title":"ACM Trans. on Information and System Security"},{"issue":"3","key":"24_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/293910.293151","volume":"23","author":"E. Bertino","year":"1998","unstructured":"Bertino, E., Bettini, C., Ferrari, E., Samarati, P.: An access control model supporting periodicity constraints and temporal reasoning. ACM Transactions on Database Systems\u00a023(3), 231\u2013285 (1998)","journal-title":"ACM Transactions on Database Systems"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1093\/comjnl\/44.1.54","volume":"44","author":"J. Crampton","year":"2001","unstructured":"Crampton, J., Loizou, G., O\u2019Shea, G.: A logic of access control. The Computer Journal\u00a044, 54\u201366 (2001)","journal-title":"The Computer Journal"},{"key":"24_CR8","volume-title":"Deductive databases and logic programming","author":"S.K. Das","year":"1992","unstructured":"Das, S.K.: Deductive databases and logic programming. Addison-Wesley Publishing Company, Reading (1992)"},{"key":"24_CR9","first-page":"1070","volume-title":"Proc.5th Int. Conf. on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc.5th Int. Conf. on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"24_CR11","first-page":"31","volume-title":"Proc. of the 1997 IEEE Symposium on Security and Privacy","author":"S. Jajodia","year":"1997","unstructured":"Jajodia, S., Samarati, P., Subrahmanian, V.S.: A logical language for expressing authorizations. In: Proc. of the 1997 IEEE Symposium on Security and Privacy, pp. 31\u201342. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"24_CR12","first-page":"162","volume-title":"Proc. of the 12th IEEE Computer Security Foundations Workshop","author":"N. Li","year":"1999","unstructured":"Li, N., Feigenbaum, J., Grosof, B.N.: A Logic-Based Knowledge Representation for Authorization with Delegation. In: Proc. of the 12th IEEE Computer Security Foundations Workshop, pp. 162\u2013174. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-45450-0_22","volume-title":"Information Security and Privacy","author":"C. Ruan","year":"2002","unstructured":"Ruan, C., Varadharajan, V., Zhang, Y.: Logic-based reasoning on delegatable authorizations. In: Batten, L.M., Seberry, J. (eds.) ACISP 2002. LNCS, vol.\u00a02384, pp. 185\u2013193. Springer, Heidelberg (2002)"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Woo, T., Lam, S.: Authorization in distributed systems: a formal approach. In: Proc. of IEEE on Research in Security and Privacy, pp. 33\u201350 (1992)","DOI":"10.1109\/RISP.1992.213272"}],"container-title":["Lecture Notes in Computer Science","Information Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10958513_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T03:12:11Z","timestamp":1547781131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10958513_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201762","9783540399810"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/10958513_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}