{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T05:02:11Z","timestamp":1766466131493,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/policy.2003.1206955","type":"proceedings-article","created":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T21:26:50Z","timestamp":1078176410000},"page":"26-39","source":"Crossref","is-referenced-by-count":78,"title":["Using event calculus to formalise policy specification and analysis"],"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":"A.","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90013-7"},{"key":"17","article-title":"The logical foundations of goal-regression planning in autonomous agents","volume":"106","author":"pollock","year":"1998","journal-title":"Journal of Artificial Intelligence"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"16","article-title":"On the formal definition fo searation-of-duty policies and their composition","author":"gligor","year":"1998","journal-title":"IEEE Symposium on Security and Privacy"},{"key":"13","article-title":"Translating the object constraint language into first-order predicate logic","author":"beckert","year":"2002","journal-title":"VERIFY Workshop at Federated Logic Conferences (FLoC)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1080\/10919399409540214"},{"key":"11","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1007\/3-540-45632-5_17","article-title":"Some alternative formulations of the event calculus","volume":"2408","author":"miller","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"12","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":"21","article-title":"A-System: Programming with abduction","author":"van nuffelen","year":"2001","journal-title":"Logic Programming and Nonmonotonic Reasoning (LPNMR 2001)"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.1997.612304"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/319171.319176"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1998.674819"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/344287.344298"},{"key":"25","article-title":"Access control policies as logic programs","author":"barker","year":"2001","journal-title":"Imperial College of Science Technology and Medicine"},{"key":"26","article-title":"Reasoning about policies using logic programs","author":"son","year":"2001","journal-title":"AAAI Spring Symposium on Answer Set Programming Towards Efficient and Scalable Knowledge Representation and Reasoning"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2002.1011289"},{"journal-title":"POWER prototype Towards integrated policy-based management","year":"1999","author":"casassa mont","key":"28"},{"journal-title":"Model Checking Programmable Router Configurations","year":"2002","author":"zanolin","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1997.601312"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.824414"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2002.1015565"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02283186"},{"key":"7","article-title":"The ponder policy specification language","author":"damianou","year":"2001","journal-title":"Policy 2001 Workshop on Policies for Distributed Systems and Networks"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"5","article-title":"A logic programming approach to conflict resolution in policy management","author":"chomicki","year":"2000","journal-title":"Intl Conf Principles of Knowledge Representation and Reasoning"},{"key":"4","article-title":"A policy description language","author":"lobo","year":"1999","journal-title":"16th National Conf on Artificial Intelligence"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/49.257932"}],"event":{"name":"POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks","acronym":"POLICY-03","location":"Lake Como, Italy"},"container-title":["Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8577\/27164\/01206955.pdf?arnumber=1206955","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:04:43Z","timestamp":1497571483000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1206955\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/policy.2003.1206955","relation":{},"subject":[]}}