Guaranteeing timed opacity using parametric timed model checking

• Main Authors: ANDRÉ, Étienne, LIME, Didier, MARINHO, Dylan, SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2022
• Subjects: opacity; timed automata; IMITATOR; parameter synthesis; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7282; https://ink.library.smu.edu.sg/context/sis_research/article/8285/viewcontent/2206.05438.pdf
• Institution: Singapore Management University

Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage occurs whenever an attacker successfully deduces confidential internal information. In this work, we consider that the attacker has access (only) to the system exec...