A Tool to Compute the Leakage of Multi-threaded Programs
| Autor: | Quang Tuan Duong, Tri Minh Ngo |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Imperative programming
Computer science business.industry 0202 electrical engineering electronic engineering information engineering 020206 networking & telecommunications 020201 artificial intelligence & image processing 02 engineering and technology Multi threaded Software engineering business Execution model Leakage (electronics) Scheduling (computing) |
| Zdroj: | Modern Approaches for Intelligent Information and Database Systems ISBN: 9783319760803 ACIIDS (Extended Posters) |
| DOI: | 10.1007/978-3-319-76081-0_45 |
| Popis: | This paper studies the security of multi-threaded programs and presents a tool for analyzing quantitative information flow (QIF) for multi-threaded programs written in a core imperative language. The aim of the tool is to measure the leakage of secret data in case a program leaks secret information. The tool is based on a method of the quantitative analysis where an attacker is able to select a scheduling policy to attack the program. The scheduling policy is used to construct the execution model of the program. We outline the workings of the tool and summarize results derived from running the tool on a range of case studies. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|