A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Quantitative Security Analysis for Multi-threaded Programs
2013
Electronic Proceedings in Theoretical Computer Science
Quantitative theories of information flow give us an approach to relax the absolute confidentiality properties that are difficult to satisfy for many practical programs. The classical information-theoretic approaches for sequential programs, where the program is modeled as a communication channel with only input and output, and the measure of leakage is based on the notions of initial uncertainty and remaining uncertainty after observing the final outcomes, are not suitable to multi-threaded
doi:10.4204/eptcs.117.3
fatcat:k5ilgiiaofd7tkfetxxhj4v7bm