Université de Rennes 1 Opacité des artefacts d'un système Workflow Opacity of artifacts in Workflow system Opacitésystème à flots de tâchesartefactdocuments structurés Opacitydata-centric workflow systemsartifactstructured documents Flux de travail Thèses et écrits académiques Une propriété d'un objet est dite opaque pour un observateur si celui-ci ne peut déduire que la propriété est satisfaite sur la base de l'observation qu'il a de cet objet. Supposons qu'un certain de nombre de propriétés (appelées secrets) soient attachées à chaque intervenant d'un système, nous dirons alors que le système lui-même est opaque si chaque secret d'un observateur lui est opaque : il ne peut percer aucun des secrets qui lui ont été attachés. L'opacité a été étudié préalablement dans le contexte des systèmes à événements discrets où différents jeux d'hypothèses ont pu être identifiés pour lesquels on pouvait d'une part décider de l'opacité d'un système et d'autre part développer des techniques pour diagnostiquer et/ou forcer l'opacité. Cette thèse constitue la première contribution au problème de l'opacité des artefacts d'un système à flots de tâches (système workflow). Notre propos est par conséquent de formaliser ce problème en dégageant les hypothèses qui doivent être posées sur ces systèmes pour que l'opacité soit décidable. Nous indiquons quelques techniques pour assurer l'opacité d'un système. A property (of an object) is opaque to an observer when he or she cannot deduce the property from its set of observations. If each observer is attached to a given set of properties (the so-called secrets), then the system is said to be opaque if each secret is opaque to the corresponding observer. Opacity has been studied in the context of discrete event dynamic systems where technique of control theory were designed to enforce opacity. This thesis is the first attempt to formalize opacity of artifacts in data-centric workflow systems. We motivate this problem and give some assumptions that guarantee the decidability of opacity. Some techniques for enforcing opacity are indicated. Electronic Thesis or DissertationText fr application/doc1 : 1086 Kohttps://ecm.univ-rennes1.fr/nuxeo/site/esupversions/bea74462-e371-4f07-a288-380dce242666 Diouf Mohamadou Lamine 1986-07-24 SN 182580792 mohamadoulamine@gmail.com 2014REN1S061 http://www.theses.fr/2014REN1S061 2014-10-10 Informatique Université de Rennes 1thesis.degree.grantor_1 02778715X Université Cheikh Anta Diop de Dakarthesis.degree.grantor_2 026583836 Doctorat non ouiBadouelÉricintervenant_1059319658DiankhaOumarintervenant_2182607372 Mathématiques, informatique, signal, électronique et télécommunicationsecoleDoctorale_1 139007164 Université européenne de BretagnepartenaireRecherche_1 139075119 IRISApartenaireRecherche_2 026386909 ddc:004 ddc:510 BadouelÉricDiankhaOumarUniversité de Rennes 1Sciences et technologie, médecine, pharmacie, odontologie, droit, économie, gestion, philosophieUniversité Cheikh Anta Diop de DakarMathématiques, informatique, signal, électronique et télécommunicationsÉcole doctorale Mathématiques, informatique, signal, électronique et télécommunications (Rennes)Université européenne de Bretagne Pôle de recherche et d'enseignement supérieur de Bretagne IRISA ASCII PDF 1111867