Expiring opacity problems in parametric timed automata

arXiv:2403.07647v1 Announce Type: cross
Abstract: 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 …

arxiv attacker can consequences cs.cr cs.lo definition information information leakage leaks opaque private problems real security system systems work