Publication Type

Conference Proceeding Article

Version

publishedVersion

Publication Date

10-2019

Abstract

Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage is the ability for an attacker to deduce internal information depending on the system execution time. We address the following problem: given a timed system, synthesize the execution times for which one cannot deduce whether the system performed some secret behavior. We solve this problem in the setting of timed automata (TAs). We first provide a general solution, and then extend the problem to parametric TAs, by synthesizing internal timings making the TA secure. We study decidability, devise algorithms, and show that our method can also apply to program analysis.

Keywords

Opacity, Timed automata, IMITATOR, Parameter synthesis

Discipline

Software Engineering

Research Areas

Cybersecurity

Publication

Proceedings of the 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31

First Page

115

Last Page

130

Identifier

10.1007/978-3-030-31784-3_7

Publisher

Springer Link

City or Country

Taipei Taiwan

Additional URL

https://doi.org/10.1007/978-3-030-31784-3_7

Share

COinS