{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:19Z","timestamp":1725487099501},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729853"},{"type":"electronic","value":"9783540729860"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72986-0_19","type":"book-chapter","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T00:54:10Z","timestamp":1183683250000},"page":"176-179","source":"Crossref","is-referenced-by-count":2,"title":["Harnessing Models for Policy Conflict Analysis"],"prefix":"10.1007","author":[{"given":"Steven","family":"Davy","sequence":"first","affiliation":[]},{"given":"Brendan","family":"Jennings","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"19_CR1","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1109\/32.824414","volume":"25","author":"E.C. Lupu","year":"1999","unstructured":"Lupu, E.C., Sloman, M.: Conflict in Policy Based Distributed Systems Management. IEEE Transactions on Software Engineering\u00a025(6), 852\u2013869 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Dunlop, N., Indulska, J., Raymond, K.: Dynamic Conflict Detection in Policy-Based Management Systems, In: Enterprise Distributed Object Computing Conference, pp. 15\u201326 (2002)","DOI":"10.1109\/EDOC.2002.1137693"},{"key":"19_CR3","unstructured":"Bandara, A.K., Lupu, E.C., Russo, A.: Using Event Calculus to formalize policy specification and analysis. In: 4th IEEE Workshop on Policies for Distributed Systems and Networks (2003)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Cholvy, L., Cuppens, F.: Analyzing Consistency of Security Policies. IEEE Symposium on Security and Privacy, pp. 103\u2013112 (1997)","DOI":"10.1109\/SECPRI.1997.601324"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/11907466_16","volume-title":"Large Scale Management of Distributed Systems","author":"A.K. Bandara","year":"2006","unstructured":"Bandara, A.K., Kakas, A., Lupu, E.C., Russo, A.: Using Argumentation Logic for Firewall Policy Specification and Analysis. In: State, R., van der Meer, S., O\u2019Sullivan, D., Pfeifer, T. (eds.) DSOM 2006. LNCS, vol.\u00a04269, pp. 185\u2013196. Springer, Heidelberg (2006)"},{"issue":"1","key":"19_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1109\/TKDE.2003.1161596","volume":"15","author":"J. Chomicki","year":"2003","unstructured":"Chomicki, J., Lobo, J., Naqvi, S.: Conflict Resolution Using Logic Programming. IEEE Trans. Knowl. Data Eng.\u00a015(1), 244\u2013249 (2003)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Bertino, E., Mileo, A., Provetti, A.: PDL with Preferences. In: 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), pp. 213\u2013222 (2005)","DOI":"10.1109\/POLICY.2005.21"},{"key":"19_CR8","unstructured":"Barrett, K., Davy, S., Jennings, B., van der Meer, S., Strassner, J.: Model Based Generation of Integrated Suites of Languages and Tools for Policy Specification, Analysis and Deployment, submitted to IEEE Workshop on Policies for Distributed Systems and Networks (submitted)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Davy, S., Jennings, B., Strassner, J.: Policy Conflict Prevention via Model-driven Policy Refinement. In: Proc 17th IFIP\/IEEE Distributed Systems: Operations and Management (DSOM), pp. 209\u2013220 (2006)","DOI":"10.1007\/11907466_18"}],"container-title":["Lecture Notes in Computer Science","Inter-Domain Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72986-0_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:09:13Z","timestamp":1605744553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72986-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729853","9783540729860"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72986-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}