Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
433312 | Science of Computer Programming | 2015 | 5 Pages |
Abstract
Probabilistic security leaks in multi-threaded programs exploit nondeterminism and interleaving. Probabilistic leaks does not leak secret values directly, but secret values influence the probability of public events. The article explains probabilistic leaks, and discusses various methods for checking probabilistic noninterference.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Gregor Snelting,