TY - BOOK AU - Cuppens, F. AU - Cuppens-Boulahia, N. AU - Sans, T. PY - 2005 DA - 2005// TI - CSFW. Nomad: a security model with non atomic actions and deadlines ID - Cuppens2005 ER - TY - JOUR AU - Elrakaiby, Y. AU - Cuppens, F. AU - Cuppens-Boulahia, N. PY - 2012 DA - 2012// TI - Formal enforcement and management of obligation policies JO - Data Knowl. Eng VL - 71 UR - https://doi.org/10.1016/j.datak.2011.09.001 DO - 10.1016/j.datak.2011.09.001 ID - Elrakaiby2012 ER - TY - CHAP AU - Hilty, M. AU - Pretschner, A. AU - Basin, D. AU - Schaefer, C. AU - Walter, T. PY - 2007 DA - 2007// TI - A policy language for distributed usage control BT - Proceedings of the 12th European Conference on Research in Computer Security (ESORICS’07) PB - Springer-Verlag CY - Berlin ID - Hilty2007 ER - TY - JOUR AU - Moffett, J. D. AU - Sloman, M. S. PY - 1994 DA - 1994// TI - Policy conflict analysis in distributed system management JO - J. Organ. Comput VL - 4 ID - Moffett1994 ER - TY - CHAP AU - Bertino, E. AU - Jajodia, S. AU - Samarati, P. PY - 1996 DA - 1996// TI - Supporting multiple access control policies in database systems BT - Proceedings of the 1996 IEEE Symposium on Security and Privacy PB - IEEE Computer Society CY - Washington, D.C. UR - https://doi.org/10.1109/SECPRI.1996.502673 DO - 10.1109/SECPRI.1996.502673 ID - Bertino1996 ER - TY - CHAP AU - Dinolt, G. AU - Benzinger, L. AU - Yatabe, M. PY - 1994 DA - 1994// TI - Proceedings of the Computer Security Foundations Workshop VII BT - Combining components and policies PB - Franconia CY - USA UR - https://doi.org/10.1109/CSFW.1994.315950 DO - 10.1109/CSFW.1994.315950 ID - Dinolt1994 ER - TY - CHAP AU - Benferhat, S. AU - El Baida, R. AU - Cuppens, F. PY - 2003 DA - 2003// TI - A stratification-based approach for handling conflicts in access control BT - SACMAT 2003, Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, Como, Italy PB - ACM CY - New York ID - Benferhat2003 ER - TY - CHAP AU - Reiter, R. PY - 1998 DA - 1998// TI - Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR’ 98) BT - Sequential, temporal Golog PB - Morgan Kaufmann CY - San Francisco ID - Reiter1998 ER - TY - CHAP AU - Hanks, S. AU - McDermott, D. ED - Ginsberg, M. L. PY - 1987 DA - 1987// TI - Readings in Nonmonotonic Reasoning BT - Default reasoning, nonmonotonic logics, and the frame problem PB - Morgan Kaufmann CY - San Francisco ID - Hanks1987 ER - TY - CHAP AU - Green, C. PY - 1969 DA - 1969// TI - Proceedings of the 1st International Joint Conference on Artificial Intelligence (IJCAI’69) BT - Application of theorem proving to problem solving PB - Morgan Kaufmann CY - San Francisco ID - Green1969 ER - TY - STD TI - RRO, Règlement 965. Gestion Hospitalière. Dossiers de renseigments personnels sur la santé (1990). ID - ref11 ER - TY - BOOK AU - Essaouini, N. AU - Cuppens, F. AU - Cuppens-Boulahia, N. AU - Kalam, A. A. E. PY - 2013 DA - 2013// TI - Proceedings of the eighth International Conference on Availability, Reliability and Security PB - IEEE Computer Society CY - Los Alamitos ID - Essaouini2013 ER - TY - JOUR AU - Levesque, H. J. AU - Reiter, R. AU - Lesperance, Y. AU - Lin, F. AU - Scherl, R. B. PY - 1997 DA - 1997// TI - GOLOG: a logic programming language for dynamic do- mains JO - J. Logic Program VL - 31 UR - https://doi.org/10.1016/S0743-1066(96)00121-5 DO - 10.1016/S0743-1066(96)00121-5 ID - Levesque1997 ER - TY - JOUR AU - Balla, J. I. AU - Jamieson, W. E. PY - 1994 DA - 1994// TI - Improving the continuity of care between general practitioners and public hospitals JO - Med. J. Aust VL - 161 ID - Balla1994 ER - TY - JOUR AU - Bolton, P. PY - 2001 DA - 2001// TI - A quality assurance activity to improve discharge communication with general practice JO - J. Qual. Clin. Pract VL - 21 UR - https://doi.org/10.1046/j.1440-1762.2001.00416.x DO - 10.1046/j.1440-1762.2001.00416.x ID - Bolton2001 ER - TY - JOUR AU - Adams, D. C. AU - Bristol, J. B. AU - Poskitt, K. R. PY - 1993 DA - 1993// TI - Surgical discharge summaries: improving the record JO - Ann. R. Coll. Surg. Engl VL - 75 ID - Adams1993 ER - TY - BOOK AU - Embi, P. J. PY - 2002 DA - 2002// TI - Perceived Impact of Computerized Physician Documentation on Education and Clinical Practice in a Teaching Hospital PB - Science University CY - Portland ID - Embi2002 ER - TY - JOUR AU - Mageean, R. J. PY - 1986 DA - 1986// TI - Study of “discharge communications” from hospital JO - Br. Med. J VL - 293 UR - https://doi.org/10.1136/bmj.293.6557.1283 DO - 10.1136/bmj.293.6557.1283 ID - Mageean1986 ER - TY - JOUR AU - Raval, A. N. AU - Marchioriz, G. E. AU - Arnold, J. M. PY - 2003 DA - 2003// TI - Improving the continuity of care following discharge of patients hospitalized with heart failure: is the discharge summary adequate? JO - Can. J. Cardiol VL - 19 ID - Raval2003 ER - TY - STD TI - Situations, Actions and Causal Laws. MIT Press, Cambridge; 1968. ID - ref20 ER - TY - CHAP AU - Reiter, R. ED - Aiello, L. ED - Doyle, J. ED - Shapiro, S. PY - 1996 DA - 1996// TI - Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference BT - Natural actions, concurrency and continuous time in the situation calculus PB - Morgan Kaufmann CY - San Francisco ID - Reiter1996 ER - TY - JOUR AU - Lin, F. AU - Reiter, R. PY - 1994 DA - 1994// TI - State constraints revisited JO - J. Logic Comput VL - 4 UR - https://doi.org/10.1093/logcom/4.5.655 DO - 10.1093/logcom/4.5.655 ID - Lin1994 ER - TY - CHAP AU - Reiter, R. ED - Lifschitz, V. PY - 1991 DA - 1991// TI - The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression BT - Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy PB - Academic Press CY - San Diego UR - https://doi.org/10.1016/B978-0-12-450010-5.50026-8 DO - 10.1016/B978-0-12-450010-5.50026-8 ID - Reiter1991 ER - TY - JOUR AU - Reiter, R. PY - 1993 DA - 1993// TI - Proving properties of states in the situation calculus JO - Artif. Intell VL - 64 UR - https://doi.org/10.1016/0004-3702(93)90109-O DO - 10.1016/0004-3702(93)90109-O ID - Reiter1993 ER - TY - CHAP AU - Green, C. C. ED - Meltzer, B. ED - Michie, D. PY - 1969 DA - 1969// TI - Theorem proving by resolution as a basis for question-answering systems BT - Machine Intelligence, volume 4 PB - American Elsevier CY - New York ID - Green1969 ER - TY - JOUR AU - Fikes, R. AU - Nilsson, N. J. PY - 1971 DA - 1971// TI - STRIPS: a new approach to the application of theorem proving to problem solving JO - Artif. Intell VL - 2 UR - https://doi.org/10.1016/0004-3702(71)90010-5 DO - 10.1016/0004-3702(71)90010-5 ID - Fikes1971 ER - TY - STD TI - Frühwirth TW, Herold A, Küchenhoff 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 ’92). Edited by: Comyn G, Fuchs NE, Ratcliffe M. Springer-Verlag, London; :3-35. ID - ref27 ER - TY - CHAP AU - Bettini, C. AU - Jajodia, S. AU - Wang, X. S. AU - Wijesekera, D. PY - 2002 DA - 2002// TI - Obligation monitoring in policy management BT - 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 5–7 June 2002 PB - (IEEE Computer Society CY - Monterey ID - Bettini2002 ER - TY - CHAP AU - Damianou, N. AU - Dulay, N. AU - Lupu, E. AU - Sloman, M. PY - 2001 DA - 2001// TI - The ponder policy specification language BT - Proceedings of the International Workshop on Policies for Distributed Systems and Networks (POLICY ’01) UR - https://doi.org/10.1007/3-540-44569-2_2 DO - 10.1007/3-540-44569-2_2 ID - Damianou2001 ER - TY - CHAP AU - Ni, Q. AU - Bertino, E. AU - Lobo, J. PY - 2008 DA - 2008// TI - An obligation model bridging access control policies and privacy policies BT - Proceedings of the 13th ACM Symposium on Access Control Models and Technologies (SACMAT ’08) PB - ACM CY - New York UR - https://doi.org/10.1145/1377836.1377857 DO - 10.1145/1377836.1377857 ID - Ni2008 ER - TY - CHAP AU - Craven, R. AU - Lobo, J. AU - Ma, J. AU - Russo, A. AU - Lupu, E. AU - Bandara, A. PY - 2009 DA - 2009// TI - Expressive policy analysis with enhanced system dynamicity BT - Proceedings of the 4th International Symposium on Information, Computer, and Communications Security (ASIACCS ’09) PB - ACM CY - New York ID - Craven2009 ER - TY - STD TI - 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] UR - http://www.oasis-open.org/specs/index.php ID - ref32 ER - TY - CHAP AU - Hilty, M. AU - Basin, D. AU - Pretschner, A. ED - di Vimercati, S. ED - Syverson, P. ED - Gollmann, D. PY - 2005 DA - 2005// TI - On obligations BT - Computer Security-ESORICS 2005, Lecture Notes in Computer Science PB - Springer CY - Berlin UR - https://doi.org/10.1007/11555827_7 DO - 10.1007/11555827_7 ID - Hilty2005 ER - TY - JOUR AU - Park, J. AU - Sandhu, R. PY - 2004 DA - 2004// TI - The UCONABC usage control model JO - ACM Trans. Inf. Syst. Secur VL - 7 UR - https://doi.org/10.1145/984334.984339 DO - 10.1145/984334.984339 ID - Park2004 ER - TY - CHAP AU - Cuppens, F. AU - Cuppens-Boulahia, N. AU - Sans, T. PY - 2005 DA - 2005// TI - 18th IEEE Computer Security Foundations Workshop (CSFW) BT - Nomad: a security model with non atomic actions and deadlines PB - Aix en Provence CY - France ID - Cuppens2005 ER - TY - JOUR AU - Sans, T. AU - Cuppens, F. AU - Cuppens-Boulahia, N. PY - 2007 DA - 2007// TI - A framework to enforce access control, usage control and obligations JO - Ann. Telecomm VL - 62 ID - Sans2007 ER - TY - JOUR AU - Lamport, L. PY - 1994 DA - 1994// TI - The temporal logic of actions JO - ACM Trans. Program. Lang. Syst VL - 16 UR - https://doi.org/10.1145/177492.177726 DO - 10.1145/177492.177726 ID - Lamport1994 ER - TY - CHAP AU - Goedertier, S. AU - Vanthienen, J. ED - Eder, J. ED - Dustdar, S. PY - 2006 DA - 2006// TI - Designing compliant business processes with obligations and permissions BT - Business Process Management Workshops, Lecture Notes in Computer Science PB - Springer CY - Berlin UR - https://doi.org/10.1007/11837862_2 DO - 10.1007/11837862_2 ID - Goedertier2006 ER -