Information Leakage in Arbiter Protocols
| Autor: | Lucas Bang, Joseph McMahan, Timothy Sherwood, Tevfik Bultan, Nestan Tsiskaridze |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Model counting
021110 strategic defence & security studies Multitenancy Computer science business.industry Distributed computing 0211 other engineering and technologies Arbiter 020207 software engineering Cloud computing 02 engineering and technology Adversary Symbolic execution Shared resource Information leakage 0202 electrical engineering electronic engineering information engineering business |
| Zdroj: | Automated Technology for Verification and Analysis ISBN: 9783030010898 ATVA |
| Popis: | Resource sharing while preserving privacy is an increasingly important problem due to a wide-scale adoption of cloud computing. Under multitenancy, it is common to have multiple mutually distrustful “processes” (e.g. cores, threads, etc.) running on the same system simultaneously. This paper explores a new approach for automatically identifying and quantifying the information leakage in protocols that arbitrate utilization of shared resources between processes. Our approach is based on symbolic execution of arbiter protocols to extract constraints relating adversary observations to victim requests, then using model counting constraint solvers to quantify the information leaked. We present enumerative and optimized methods of exact model counting, and apply our methods to a set of nine different arbiter protocols, quantifying their leakage under different scenarios and allowing for informed comparison. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|