{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:30Z","timestamp":1725456330397},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632320"},{"type":"electronic","value":"9783540692379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027939","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:46:12Z","timestamp":1132641972000},"page":"14-25","source":"Crossref","is-referenced-by-count":0,"title":["Analysis and implementation of a formal authorization policy design approach"],"prefix":"10.1007","author":[{"given":"Yun","family":"Bai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Varadharajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"3_CR1","unstructured":"Y. Bai and V. Varadharajan, A Model Based Semantics for Transformations of Authorization Policies. Proceedings of 20th Australiasian Computer Science Conference, pp 383\u2013391, Sydney, 1997."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"T.S-C. Chou, M. Winslett, Immortal: a Model-based Belief Revision System, The 2nd International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufman Publishers Inc., pp 99\u2013110, 1991.","DOI":"10.1145\/122296.122301"},{"key":"3_CR3","volume-title":"Deductive Databases and Logic Programming","author":"S.K. Das","year":"1992","unstructured":"S.K. Das, Deductive Databases and Logic Programming, Addison-Wesley Publishing Company, UK, 1992."},{"issue":"1","key":"3_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00247824","volume":"09","author":"W.W. McCune","year":"1992","unstructured":"W.W. McCune, Automated Discovery of New Axiomatizations of the Left Group and Right Group Calculi, Journal of Automated Reasoning. 09(1): pp 1\u201324, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"3_CR5","unstructured":"S. Russell and P. Norrig, Artificial Intelligence \u2014 A Modern Approach. Prentice Hall, 1995."},{"key":"3_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663109","volume-title":"Updating Logical Databases","author":"M. Winslett","year":"1990","unstructured":"M. Winslett, Updating Logical Databases. Cambridge University Press, New York, 1990."}],"container-title":["Lecture Notes in Computer Science","Information Security and Privacy"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:47:18Z","timestamp":1586573238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632320","9783540692379"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0027939","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}