Parametric non-interference in timed automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Parametric non-interference in timed automata

Résumé

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 et versions

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

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

É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⟩
87 Consultations
0 Téléchargements

Altmetric

Partager

More