{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T17:32:47Z","timestamp":1767979967254,"version":"3.49.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/policy.2004.1309175","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"229-239","source":"Crossref","is-referenced-by-count":95,"title":["A goal-based approach to policy refinement"],"prefix":"10.1109","author":[{"given":"A.K.","family":"Bandara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.C.","family":"Lupu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Moffett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","author":"mont","year":"1999","journal-title":"POWER prototype Towards integrated policy-based management"},{"key":"17","first-page":"341","article-title":"Arguing safety - A systematic approach to managing safety cases","author":"kelly","year":"1998","journal-title":"Department of Computer Science"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601312"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90013-7"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.1997.612304"},{"key":"11","article-title":"A-system : Programming with abduction","author":"van nuffelen","year":"2001","journal-title":"Logic Programming and Nonmonotonic Reasoning (LPNMR 2001)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2003.1206955"},{"key":"2","author":"verma","year":"2001","journal-title":"Policy-based Networking Architecture and Algorithms"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/49.257932"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"7","article-title":"An abductive approach for analysing event-based requirements specifications","author":"russo","year":"2002","journal-title":"18th Int Conf on Logic Programming (ICLP)"},{"key":"6","first-page":"452","article-title":"The event calculus in classical logic alternative axiomatisations","volume":"2048","author":"miller","year":"1999","journal-title":"Computational Logic Logic Programming and Beyond Essays in Honour of Robert A Kowalski Part II Vol 2048 Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20040297"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2002.1015565"}],"event":{"name":"Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004.","location":"Yorktown Heights, NY, USA","start":{"date-parts":[[2004,6,9]]},"end":{"date-parts":[[2004,6,9]]}},"container-title":["Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9150\/29053\/01309175.pdf?arnumber=1309175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T00:43:14Z","timestamp":1489452194000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1309175\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/policy.2004.1309175","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}