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

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00493636 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More