Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2016

Complexity of Opacity algorithm in data-centric workflow system

Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents

Résumé

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. We study in this paper, the complexity of opacity algorithm in data-centric workflows systems. We show that the complexity of this algorithm is EXPTIME-complete. Using the reduction problem, whe show that we can reduce the complexity of opacity problem to wellknow problem, the intersection of nonemptyness problem of Tree automata in polynomial time.
RÉSUMÉ. Une propriété d'un objet est dit 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. Dans ce papier, on se propose d'étudier la complexité du problème de l'opacité des artefacts d'un système à flots de tâches(système workflow). Nous présentons une formalisation optimale du prob-lème de l'opacité dans ces systèmes workflows. Nous étudions ensuite la complexité de l'algorithme de l'opacité pour ces systèmes.
Fichier principal
Vignette du fichier
version-finale.pdf (213.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01351970 , version 1 (05-08-2016)
hal-01351970 , version 2 (24-11-2016)

Identifiants

  • HAL Id : hal-01351970 , version 1

Citer

Mohamadou Lamine Diouf, Sophie Pinchinat. Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents. 2016. ⟨hal-01351970v1⟩

Collections

INSERM
336 Consultations
1097 Téléchargements

Partager

More