Supervisory Control for Opacity

Jérémy Dubreil 1 Philippe Darondeau 2 Hervé Marchand 1
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In the field of computer security, a problem that received little attention so far is the enforcement of confidentiality properties by supervisory control. Given a critical system G that may leak confidential information, the problem consists in designing a controller C, possibly disabling occurrences of a fixed subset of events of G, so that the closed-loop system G/C does not leak confidential information. We consider this problem in the case where G is a finite transition system with set of events A and an inquisitive user, called the adversary, observes a subset A_a of A. The confidential information is the fact (when it is true) that the trace of the execution of G on A^* belongs to a regular set S in A^*, called the secret. The secret S is said to be opaque w.r.t. G (resp. G/C) and A_a if the adversary cannot safely infer this fact from the trace of the execution of G (resp. G/C) on A_a^*. In the converse case, the secret can be disclosed. We present an effective algorithm for computing the most permissive controller C such that S is opaque w.r.t. G/C and A_a. This algorithm subsumes two earlier algorithms working under the strong assumption that the alphabet A_a of the adversary and the set of events that the controller can disable are comparable
Type de document :
Article dans une revue
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2010, 55 (5), pp.1089-1100. 〈10.1109/TAC.2010.2042008〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00483891
Contributeur : Hervé Marchand <>
Soumis le : lundi 17 mai 2010 - 14:25:39
Dernière modification le : mercredi 11 avril 2018 - 01:57:34
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 14:36:02

Fichier

2010-TAC.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

Jérémy Dubreil, Philippe Darondeau, Hervé Marchand. Supervisory Control for Opacity. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2010, 55 (5), pp.1089-1100. 〈10.1109/TAC.2010.2042008〉. 〈inria-00483891〉

Partager

Métriques

Consultations de la notice

316

Téléchargements de fichiers

107