Synthesis of Non-Interferent Timed Systems

Abstract : In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a \emphnon-interference property. Various notions of non-interference have been defined in the literature, and in this paper we focus on \emphStrong Non-deterministic Non-Interference (SNNI) and we study the two following problems: ($1$) check whether it is possible to enforce a system to be SNNI; if yes ($2$) compute a sub-system which is SNNI.
Type de document :
Communication dans un congrès
Proc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'09), Apr 2009, Budapest, Hungary, Hungary. Springer, 5813, pp.28-42, 2009

Littérature citée [14 références]

https://hal.inria.fr/inria-00493636
Contributeur : Franck Cassez <>
Soumis le : lundi 21 juin 2010 - 04:38:02
Dernière modification le : jeudi 15 mars 2018 - 14:28:03
Document(s) archivé(s) le : lundi 22 octobre 2012 - 12:31:39

Fichier

formats-09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

• HAL Id : inria-00493636, version 1

Citation

Gilles Benattar, Franck Cassez, Didier Lime, Olivier Henri Roux. Synthesis of Non-Interferent Timed Systems. Proc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'09), Apr 2009, Budapest, Hungary, Hungary. Springer, 5813, pp.28-42, 2009. 〈inria-00493636〉

Métriques

Consultations de la notice

238

Téléchargements de fichiers