Synthesis of Non-Interferent Timed Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Synthesis of Non-Interferent Timed Systems


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.
Fichier principal
Vignette du fichier
formats-09.pdf (133.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00493636 , version 1 (21-06-2010)


  • HAL Id : inria-00493636 , version 1


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. pp.28-42. ⟨inria-00493636⟩
138 View
182 Download


Gmail Facebook Twitter LinkedIn More