Skip to main content

TS

Synthesis of non-interferent timed systems

Authors

Gilles Benattar, Franck Cassez, Didier Lime and Olivir Henri Roux

IRCCyN

NICTA

CNRS

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 \emph{non-interference} property. Various notions of non-interference have been defined in the literature, and in this paper we focus on \emph{Strong 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.

BibTeX Entry

  @inproceedings{Benattar_CLR_09,
    publisher        = {Lecture Notes in Computer Science},
    author           = {Benattar, Gilles and Cassez, Franck and Lime, Didier and Roux, Olivir Henri},
    month            = oct,
    editor           = {{J. Ouaknine and F. Vandraager}},
    year             = {2009},
    keywords         = {security, timed automata, synthesis},
    title            = {Synthesis of Non-Interferent Timed Systems},
    booktitle        = {Proc. of the 7th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'09)},
    pages            = {28-42},
    address          = {Budapest, Hungary}
  }

Download

Served by Apache on Linux on seL4.