Parametric non-interference in timed automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Parametric non-interference in timed automata

Abstract

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 consecutive actions of the attacker, so that (s)he disturbs the set of reachable locations. We also synthesize valuations for the timing constants of the TA (seen as parameters) guaranteeing non-interference. We show that this can reduce to reachability synthesis in parametric timed automata. We apply our method to a model of the Fischer mutual exclusion protocol and obtain preliminary results.

Dates and versions

hal-02972357 , version 1 (20-10-2020)

Licence

Copyright

Identifiers

Cite

Étienne André, Aleksander Kryukov. Parametric non-interference in timed automata. ICECCS 2020 - 25th International Conference on Engineering of Complex Computer Systems, Yi Li and Alan Liew, Mar 2021, Singapore, Singapore. ⟨hal-02972357⟩
67 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More