Quantitative Information Flow as Safety and Liveness Hyperproperties

被引：0
|
作者：
Yasuoka, Hirotoshi [1 ]
Terauchi, Tachio [2 ]
机构：
[1] Tohoku Univ, Sendai, Miyagi, Japan
[2] Nagoya Univ, Nagoya, Aichi, Japan
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2012年 / 85期
关键词：
D O I：
10.4204/EPTCS.85.6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：77 / 91
页数：15
相关论文
共 50 条
  • [31] Correlated Secrets in Quantitative Information Flow
    Bordenabe, Nicolas E.
    Smith, Geoffrey
    2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016), 2016, : 93 - 104
  • [32] On Bounding Problems of Quantitative Information Flow
    Yasuoka, Hirotoshi
    Terauchi, Tachio
    COMPUTER SECURITY-ESORICS 2010, 2010, 6345 : 357 - 372
  • [33] QQIF: Quantum Quantitative Information Flow
    Americo, Arthur
    Malacaria, Pasquale
    2020 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (EUROS&PW 2020), 2020, : 261 - 270
  • [34] Quantitative information flow in interactive systems
    Alvim, Mario S.
    Andres, Miguel E.
    Palamidessi, Catuscia
    JOURNAL OF COMPUTER SECURITY, 2012, 20 (01) : 3 - 50
  • [35] POSTER: On Quantitative Information Flow Metrics
    Ji, Zhu
    Srivatsa, Mudhakar
    PROCEEDINGS OF THE 18TH ACM CONFERENCE ON COMPUTER & COMMUNICATIONS SECURITY (CCS 11), 2011, : 877 - 879
  • [36] On bounding problems of quantitative information flow
    Yasuoka, Hirotoshi
    Terauchi, Tachio
    JOURNAL OF COMPUTER SECURITY, 2011, 19 (06) : 1029 - 1082
  • [37] Compositionality Results for Quantitative Information Flow
    Kawamoto, Yusuke
    Chatzikokolakis, Konstantinos
    Palamidessi, Catuscia
    QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2014, 2014, 8657 : 368 - 383
  • [38] Algebraic foundations for quantitative information flow
    Malacaria, Pasquale
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (02) : 404 - 428
  • [39] The Complexity of Quantitative Information Flow Problems
    Cerny, Pavol
    Chatterjee, Krishnendu
    Henzinger, Thomas A.
    2011 IEEE 24TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2011, : 205 - 217
  • [40] Recent Developments in Quantitative Information Flow
    Smith, Geoffrey
    2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 23 - 31
12345