{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:34:41Z","timestamp":1725456881186},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/pst.2016.7906924","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T17:12:50Z","timestamp":1493053970000},"page":"178-186","source":"Crossref","is-referenced-by-count":0,"title":["Toward an off-line analysis of obligation with deadline policies"],"prefix":"10.1109","author":[{"given":"Nada","family":"Essaouini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Said","family":"Oulmakhzoune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Cuppens-Boulahia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederic","family":"Cuppens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377857"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1755688.1755711"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1998441.1998473"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2013.12"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs015"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74835-9_35"},{"key":"ref17","first-page":"92","article-title":"Ensuring integrity by adding obligations to privileges","author":"minsky","year":"1985","journal-title":"Proceedings 8th International Conference on Software Engineering"},{"key":"ref18","first-page":"18","article-title":"Obligation language and framework to enable privacy-aware SOA","author":"ali","year":"2009","journal-title":"Data Privacy Management and Autonomous Spontaneous Security 4th International Workshop DPM 2009 and Second InternationalWorkshop SETOP 2009 St Malo"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377856"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/373256.373261"},{"key":"ref27","first-page":"547","article-title":"Sequential, temporal GOLOG","author":"reiter","year":"1998","journal-title":"Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR‘98)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/383891.383894"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35285-5_10"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61770-1_27"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.18"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74835-9_25"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180423"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1029133.1029140"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.102"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1533057.1533091"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_2"},{"journal-title":"Abductive constraint logic programming Implementation and applications","year":"2004","author":"nuffelen","key":"ref23"},{"key":"ref26","first-page":"359","article-title":"Artificial intelligence and mathematical theory of computation","author":"reiter","year":"1991","journal-title":"The frame problem in situation the calculus a simple solution (sometimes) and a completeness result for goal regression"},{"key":"ref25","article-title":"Situations, actions, and causal laws","author":"mccarthy","year":"1983","journal-title":"Stanford Artificial Intelligence Project Stanford University Tech Rep Memo 2"}],"event":{"name":"2016 14th Annual Conference on Privacy, Security and Trust (PST)","start":{"date-parts":[[2016,12,12]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 14th Annual Conference on Privacy, Security and Trust (PST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7899233\/7906913\/07906924.pdf?arnumber=7906924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,22]],"date-time":"2017-05-22T17:37:59Z","timestamp":1495474679000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7906924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/pst.2016.7906924","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}