Expiring opacity problems in parametric timed automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Expiring opacity problems in parametric timed automata

Résumé

Information leakage can have dramatic consequences on the security of real-time systems. Timing leaks occur when an attacker is able to infer private behavior depending on timing information. In this work, we propose a definition of expiring timed opacity w.r.t. execution time, where a system is opaque whenever the attacker is unable to deduce the reachability of some private state solely based on the execution time; in addition, the secrecy is violated only when the private state was visited "recently", i. e., within a given time bound (or expiration date) prior to system completion. This has an interesting parallel with concrete applications, notably cache deducibility: it may be useless for the attacker to know the cache content too late after its observance. We study here expiring timed opacity problems in timed automata. We consider the set of time bounds (or expiration dates) for which a system is opaque and show when they can be effectively computed for timed automata. We then study the decidability of several parameterized problems, when not only the bounds, but also some internal timing constants become timing parameters of unknown constant values.
Fichier principal
Vignette du fichier
2403.07647.pdf (466.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04151207 , version 1 (04-07-2023)
hal-04151207 , version 2 (13-03-2024)

Identifiants

Citer

Étienne André, Engel Lefaucheux, Dylan Marinho. Expiring opacity problems in parametric timed automata. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.89-98, ⟨10.1109/ICECCS59891.2023.00020⟩. ⟨hal-04151207v2⟩
125 Consultations
91 Téléchargements

Altmetric

Partager

More