Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Franck Cassez Connect in order to contact the contributor
Submitted on : Monday, June 21, 2010 - 4:38:02 AM
Last modification on : Wednesday, January 19, 2022 - 3:48:07 PM
Long-term archiving on: : Monday, October 22, 2012 - 12:31:39 PM


Files produced by the author(s)


  • 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⟩



Les métriques sont temporairement indisponibles