Opacité dans les systèmes workflows

Eric Badouel 1, * Lamine Diouf 1
* Corresponding author
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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. The techniques for enforcing opacity are left as a direction for further work.
Document type :
Conference papers
Lokpo, Ibrahim and Badouel, Eric and Sellami, Mokhtar. CARI - 11th African Conference on Research in Computer Science and Applied Mathematics, Oct 2012, Alger, Algeria. 2012, <http://www.cari-info.org>


https://hal.inria.fr/hal-00748243
Contributor : Eric Badouel <>
Submitted on : Monday, November 5, 2012 - 11:23:08 AM
Last modification on : Sunday, May 17, 2015 - 11:51:48 PM

File

BadouelDioufCARI2012.pdf
fileSource_public_author

Identifiers

  • 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, Algeria. 2012, <http://www.cari-info.org>. <hal-00748243>

Export

Share

Metrics

Consultation de
la notice

154

Téléchargement du document

67