# 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [14 references]

https://hal.inria.fr/inria-00493636
Contributor : Franck Cassez <>
Submitted on : Monday, June 21, 2010 - 4:38:02 AM
Last modification on : Wednesday, December 19, 2018 - 3:02:04 PM
Long-term archiving on: : Monday, October 22, 2012 - 12:31:39 PM

### File

formats-09.pdf
Files produced by the author(s)

### Identifiers

• 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. pp.28-42. ⟨inria-00493636⟩

Record views