Opacité dans les systèmes workflows

Eric Badouel 1, * Lamine Diouf 1
* Auteur correspondant
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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. Les techniques pour forcer l'opacité seront l'objet de travaux futurs.
Type de document :
Communication dans un congrès
Lokpo, Ibrahim and Badouel, Eric and Sellami, Mokhtar. CARI - 11th African Conference on Research in Computer Science and Applied Mathematics, Oct 2012, Alger, Algérie. 2012, <http://www.cari-info.org>


https://hal.inria.fr/hal-00748243
Contributeur : Eric Badouel <>
Soumis le : lundi 5 novembre 2012 - 11:23:08
Dernière modification le : vendredi 21 octobre 2016 - 01:24:34
Document(s) archivé(s) le : mercredi 6 février 2013 - 03:54:06

Fichier

BadouelDioufCARI2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00748243, version 1

Collections

Citation

Eric Badouel, Lamine Diouf. Opacité dans les systèmes workflows. Lokpo, Ibrahim and Badouel, Eric and Sellami, Mokhtar. CARI - 11th African Conference on Research in Computer Science and Applied Mathematics, Oct 2012, Alger, Algérie. 2012, <http://www.cari-info.org>. <hal-00748243>

Exporter

Partager

Métriques

Consultations de
la notice

230

Téléchargements du document

116