{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,16]],"date-time":"2022-04-16T17:40:20Z","timestamp":1650130820034},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T00:00:00Z","timestamp":1410307200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["EURASIP J. on Info. Security"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1186\/s13635-014-0013-5","type":"journal-article","created":{"date-parts":[[2014,9,9]],"date-time":"2014-09-09T11:04:07Z","timestamp":1410260647000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Conflict detection in obligation with deadline policies"],"prefix":"10.1186","volume":"2014","author":[{"given":"Nada","family":"Essaouini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Cuppens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Cuppens-Boulahia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anas Abou","family":"El Kalam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,9,10]]},"reference":[{"key":"13_CR1","first-page":"186","volume-title":"CSFW. Nomad: a security model with non atomic actions and deadlines","author":"F Cuppens","year":"2005","unstructured":"F Cuppens, N Cuppens-Boulahia, T Sans, in CSFW. Nomad: a security model with non atomic actions and deadlines, (2005), pp. 186\u2013196."},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.datak.2011.09.001","volume":"71","author":"Y Elrakaiby","year":"2012","unstructured":"Elrakaiby Y, Cuppens F, Cuppens-Boulahia N: Formal enforcement and management of obligation policies. Data Knowl. Eng 2012, 71(1):127-147. 10.1016\/j.datak.2011.09.001","journal-title":"Data Knowl. Eng"},{"key":"13_CR3","first-page":"531","volume-title":"Proceedings of the 12th European Conference on Research in Computer Security (ESORICS\u201907)","author":"M Hilty","year":"2007","unstructured":"Hilty M, Pretschner A, Basin D, Schaefer C, Walter T: A policy language for distributed usage control. In Proceedings of the 12th European Conference on Research in Computer Security (ESORICS\u201907). Springer-Verlag, Berlin; 2007:531-546."},{"issue":"1","key":"13_CR4","first-page":"1","volume":"4","author":"JD Moffett","year":"1994","unstructured":"Moffett JD, Sloman MS: Policy conflict analysis in distributed system management. J. Organ. Comput 1994, 4(1):1-22.","journal-title":"J. Organ. Comput"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/SECPRI.1996.502673","volume-title":"Proceedings of the 1996 IEEE Symposium on Security and Privacy","author":"E Bertino","year":"1996","unstructured":"Bertino E, Jajodia S, Samarati P: Supporting multiple access control policies in database systems. In Proceedings of the 1996 IEEE Symposium on Security and Privacy. IEEE Computer Society, Washington, D.C.; 1996:94-94."},{"key":"13_CR6","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1994.315950","volume-title":"Combining components and policies","author":"G Dinolt","year":"1994","unstructured":"G Dinolt, L Benzinger, M Yatabe, in Proceedings of the Computer Security Foundations Workshop VII. Combining components and policies (Franconia, USA, 1994)."},{"key":"13_CR7","first-page":"189","volume-title":"SACMAT 2003, Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, Como, Italy","author":"S Benferhat","year":"2003","unstructured":"Benferhat S, El Baida R, Cuppens F: A stratification-based approach for handling conflicts in access control. In SACMAT 2003, Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, Como, Italy. ACM, New York; 2003:189-195. ISBN:1-58113-681-1"},{"key":"13_CR8","first-page":"547","volume-title":"Sequential, temporal Golog","author":"R Reiter","year":"1998","unstructured":"R Reiter, in Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR\u2019 98). Sequential, temporal Golog (Morgan Kaufmann, San Francisco, 1998), pp. 547\u2013556."},{"key":"13_CR9","first-page":"390","volume-title":"Default reasoning, nonmonotonic logics, and the frame problem","author":"S Hanks","year":"1987","unstructured":"S Hanks, D McDermott, in Readings in Nonmonotonic Reasoning, ed. by ML Ginsberg. Default reasoning, nonmonotonic logics, and the frame problem (Morgan Kaufmann, San Francisco, 1987), pp. 390\u2013395."},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"219","DOI":"10.21236\/ADA459656","volume-title":"Application of theorem proving to problem solving","author":"C Green","year":"1969","unstructured":"C Green, in Proceedings of the 1st International Joint Conference on Artificial Intelligence (IJCAI\u201969). Application of theorem proving to problem solving (Morgan Kaufmann, San Francisco, 1969), pp. 219\u2013239."},{"key":"13_CR11","unstructured":"RRO, R\u00e8glement 965. Gestion Hospitali\u00e8re. Dossiers de renseigments personnels sur la sant\u00e9 (1990)."},{"key":"13_CR12","volume-title":"Proceedings of the eighth International Conference on Availability, Reliability and Security","author":"N Essaouini","year":"2013","unstructured":"Essaouini N, Cuppens F, Cuppens-Boulahia N, Kalam AAE: Proceedings of the eighth International Conference on Availability, Reliability and Security. IEEE Computer Society, Los Alamitos; 2013."},{"issue":"1\u20133","key":"13_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque HJ, Reiter R, Lesperance Y, Lin F, Scherl RB: GOLOG: a logic programming language for dynamic do- mains. J. Logic Program 1997, 31(1\u20133):59-83. 10.1016\/S0743-1066(96)00121-5","journal-title":"J. Logic Program"},{"issue":"11\u201312","key":"13_CR14","doi-asserted-by":"crossref","first-page":"656","DOI":"10.5694\/j.1326-5377.1994.tb126911.x","volume":"161","author":"JI Balla","year":"1994","unstructured":"Balla JI, Jamieson WE: Improving the continuity of care between general practitioners and public hospitals. Med. J. Aust 1994, 161(11\u201312):656-659.","journal-title":"Med. J. Aust"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1046\/j.1440-1762.2001.00416.x","volume":"21","author":"P Bolton","year":"2001","unstructured":"Bolton P: A quality assurance activity to improve discharge communication with general practice. J. Qual. Clin. Pract 2001, 21: 69-70. 10.1046\/j.1440-1762.2001.00416.x","journal-title":"J. Qual. Clin. Pract"},{"issue":"2","key":"13_CR16","first-page":"96","volume":"75","author":"DC Adams","year":"1993","unstructured":"Adams DC, Bristol JB, Poskitt KR: Surgical discharge summaries: improving the record. Ann. R. Coll. Surg. Engl 1993, 75(2):96-99.","journal-title":"Ann. R. Coll. Surg. Engl"},{"key":"13_CR17","volume-title":"Perceived Impact of Computerized Physician Documentation on Education and Clinical Practice in a Teaching Hospital","author":"PJ Embi","year":"2002","unstructured":"Embi PJ: Perceived Impact of Computerized Physician Documentation on Education and Clinical Practice in a Teaching Hospital. Oregon Health & Science University, Portland; 2002."},{"issue":"6557","key":"13_CR18","doi-asserted-by":"publisher","first-page":"1283","DOI":"10.1136\/bmj.293.6557.1283","volume":"293","author":"RJ Mageean","year":"1986","unstructured":"Mageean RJ: Study of \u201cdischarge communications\u201d from hospital. Br. Med. J 1986, 293(6557):1283-1284. 10.1136\/bmj.293.6557.1283","journal-title":"Br. Med. J"},{"issue":"4","key":"13_CR19","first-page":"365","volume":"19","author":"AN Raval","year":"2003","unstructured":"Raval AN, Marchioriz GE, Arnold JM: Improving the continuity of care following discharge of patients hospitalized with heart failure: is the discharge summary adequate? Can. J. Cardiol 2003, 19(4):365-370.","journal-title":"Can. J. Cardiol"},{"key":"13_CR20","unstructured":"Situations, Actions and Causal Laws. MIT Press, Cambridge; 1968."},{"key":"13_CR21","first-page":"2","volume-title":"Natural actions, concurrency and continuous time in the situation calculus","author":"R Reiter","year":"1996","unstructured":"R Reiter, in Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference, ed. by L Aiello, J Doyle, and S Shapiro. Natural actions, concurrency and continuous time in the situation calculus (Morgan Kaufmann, San Francisco, 1996), pp. 2\u201313."},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F Lin","year":"1994","unstructured":"Lin F, Reiter R: State constraints revisited. J. Logic Comput 1994, 4: 655-678. Special issue on actions and processes 10.1093\/logcom\/4.5.655","journal-title":"J. Logic Comput"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R Reiter","year":"1991","unstructured":"Reiter R: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Edited by: Lifschitz V. Academic Press, San Diego; 1991:359-380."},{"issue":"2","key":"13_CR24","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R Reiter","year":"1993","unstructured":"Reiter R: Proving properties of states in the situation calculus. Artif. Intell 1993, 64(2):337-351. 10.1016\/0004-3702(93)90109-O","journal-title":"Artif. Intell"},{"key":"13_CR25","first-page":"183","volume-title":"Machine Intelligence, volume 4","author":"CC Green","year":"1969","unstructured":"Green CC: Theorem proving by resolution as a basis for question-answering systems. In Machine Intelligence, volume 4. Edited by: Meltzer B, Michie D. American Elsevier, New York; 1969:183-205."},{"issue":"3\/4","key":"13_CR26","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R Fikes","year":"1971","unstructured":"Fikes R, Nilsson NJ: STRIPS: a new approach to the application of theorem proving to problem solving. Artif. Intell 1971, 2(3\/4):189-208. 10.1016\/0004-3702(71)90010-5","journal-title":"Artif. Intell"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth TW, Herold A, K\u00fcchenhoff V, Le Provost T, Lim P, Monfroy E, Wallace M: Contraint logic programming - an informal introduction. In Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action (LPSS \u201992). Edited by: Comyn G, Fuchs NE, Ratcliffe M. Springer-Verlag, London; :3-35.","DOI":"10.1007\/3-540-55930-2_2"},{"key":"13_CR28","volume-title":"3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 5\u20137 June 2002","author":"C Bettini","year":"2002","unstructured":"Bettini C, Jajodia S, Wang XS, Wijesekera D: Obligation monitoring in policy management. In 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 5\u20137 June 2002. (IEEE Computer Society, Monterey; 2002."},{"key":"13_CR29","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Proceedings of the International Workshop on Policies for Distributed Systems and Networks (POLICY \u201901)","author":"N Damianou","year":"2001","unstructured":"N Damianou, N Dulay, E Lupu, M Sloman, The ponder policy specification language. Proceedings of the International Workshop on Policies for Distributed Systems and Networks (POLICY \u201901), 18\u201338 (2001)."},{"key":"13_CR30","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/1377836.1377857","volume-title":"Proceedings of the 13th ACM Symposium on Access Control Models and Technologies (SACMAT \u201908)","author":"Q Ni","year":"2008","unstructured":"Ni Q, Bertino E, Lobo J: An obligation model bridging access control policies and privacy policies. In Proceedings of the 13th ACM Symposium on Access Control Models and Technologies (SACMAT \u201908). ACM, New York; 2008:133-142."},{"key":"13_CR31","first-page":"239","volume-title":"Proceedings of the 4th International Symposium on Information, Computer, and Communications Security (ASIACCS \u201909)","author":"R Craven","year":"2009","unstructured":"Craven R, Lobo J, Ma J, Russo A, Lupu E, Bandara A: Expressive policy analysis with enhanced system dynamicity. In Proceedings of the 4th International Symposium on Information, Computer, and Communications Security (ASIACCS \u201909). ACM, New York; 2009:239-250."},{"key":"13_CR32","unstructured":"Oasis, Extensible access control markup language tc v2.0, normative xacml 2.0 documents. OASIS Standard. . Accessed 1 Feb 2005., [ http:\/\/www.oasis-open.org\/specs\/index.php ]"},{"key":"13_CR33","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/11555827_7","volume-title":"Computer Security-ESORICS 2005, Lecture Notes in Computer Science","author":"M Hilty","year":"2005","unstructured":"Hilty M, Basin D, Pretschner A: On obligations. In Computer Security-ESORICS 2005, Lecture Notes in Computer Science. Edited by: di Vimercati S, Syverson P, Gollmann D. Springer, Berlin; 2005:98-117."},{"issue":"1","key":"13_CR34","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/984334.984339","volume":"7","author":"J Park","year":"2004","unstructured":"Park J, Sandhu R: The UCONABC usage control model. ACM Trans. Inf. Syst. Secur 2004, 7(1):128-174. 10.1145\/984334.984339","journal-title":"ACM Trans. Inf. Syst. Secur"},{"key":"13_CR35","volume-title":"Nomad: a security model with non atomic actions and deadlines","author":"F Cuppens","year":"2005","unstructured":"F Cuppens, N Cuppens-Boulahia, T Sans, in 18th IEEE Computer Security Foundations Workshop (CSFW). Nomad: a security model with non atomic actions and deadlines (Aix en Provence, France, 2005)."},{"issue":"11\u201312","key":"13_CR36","doi-asserted-by":"crossref","first-page":"1329","DOI":"10.1007\/BF03253322","volume":"62","author":"T Sans","year":"2007","unstructured":"Sans T, Cuppens F, Cuppens-Boulahia N: A framework to enforce access control, usage control and obligations. Ann. Telecomm 2007, 62(11\u201312):1329-1352.","journal-title":"Ann. Telecomm"},{"issue":"3","key":"13_CR37","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport L: The temporal logic of actions. ACM Trans. Program. Lang. Syst 1994, 16(3):872-923. 10.1145\/177492.177726","journal-title":"ACM Trans. Program. Lang. Syst"},{"key":"13_CR38","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11837862_2","volume-title":"Business Process Management Workshops, Lecture Notes in Computer Science","author":"S Goedertier","year":"2006","unstructured":"Goedertier S, Vanthienen J: Designing compliant business processes with obligations and permissions. In Business Process Management Workshops, Lecture Notes in Computer Science. Edited by: Eder J, Dustdar S. Springer, Berlin; 2006:5-14."}],"container-title":["EURASIP Journal on Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13635-014-0013-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13635-014-0013-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13635-014-0013-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13635-014-0013-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,16]],"date-time":"2022-04-16T17:13:51Z","timestamp":1650129231000},"score":1,"resource":{"primary":{"URL":"https:\/\/jis-eurasipjournals.springeropen.com\/articles\/10.1186\/s13635-014-0013-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,10]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["13"],"URL":"https:\/\/doi.org\/10.1186\/s13635-014-0013-5","relation":{},"ISSN":["1687-417X"],"issn-type":[{"value":"1687-417X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,10]]},"assertion":[{"value":"21 March 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 August 2014","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 September 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"13"}}