Control and Synthesis of Non-Interferent Timed Systems

Gilles Benattar, Franck Cassez, Didier Lime +1

In this paper, we focus on the synthesis of secure timed systems which are modelled as timed automata. The security property that the system must satisfy is a non-interference prop…