|
RÉSUMÉ.
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ée 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é. Ce papier constitue, à notre connaissance, 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.
ABSTRACT.
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. To the best of our knowledge, this paper 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.
MOTS-CLÉS :
Opacité, système à flots de tâches, artefact, documents structurés.
KEYWORDS:
Opacity, data-centric workflow systems, artifact, structured documents.
|
présentation