کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6876221 689991 2014 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Quantitative information flow as safety and liveness hyperproperties
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Quantitative information flow as safety and liveness hyperproperties
چکیده انگلیسی
We employ Clarkson and Schneider's “hyperproperties” to classify various verification problems of quantitative information flow. The results of this paper unify and extend the previous results on the hardness of checking and inferring quantitative information flow. In particular, we identify a subclass of liveness hyperproperties, which we call “k-observable hyperproperties”, that can be checked relative to a reachability oracle via self composition.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 538, 12 June 2014, Pages 167-182
نویسندگان
, ,