Parametric timed model checking for guaranteeing timed opacity
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, synthe...
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2019
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/4966 https://ink.library.smu.edu.sg/context/sis_research/article/5969/viewcontent/André_Sun2019_Chapter_ParametricTimedModelCheckingFo.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|