Parametric non-interference in timed automata

Étienne André, Aleksander Kryukov

We consider a notion of non-interference for timed automata (TAs) that allows to quantify the frequency of an attack; that is, we infer values of the minimal time between two conse…