Guaranteeing timed opacity using parametric timed model checking
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...
Saved in:
| Main Authors: | , , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2022
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/7282 https://ink.library.smu.edu.sg/context/sis_research/article/8285/viewcontent/2206.05438.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Singapore Management University |
| 語言: | English |