Information Flow in Interactive Systems

被引:0
|
作者
Alvim, Mario S. [1 ]
Andres, Miguel E. [2 ]
Palamidessi, Catuscia [1 ]
机构
[1] Ecole Polytech, INRIA, Palaiseau, France
[2] Inst Comp & Informat Sci, Nijmegen, Netherlands
来源
关键词
VERIFICATION;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the corn putation We show that the information-theoretic approach which interprets such systems as (simple) noisy channels is not valid anymore However, the principle can be recovered if we consider more complicated types of channels that in Information Theory are known as channels with memory and feedback We show that there is a complete correspondence between interactive systems and such kind of channels Furthermore, we show that the capacity of the channels associated to such systems is a continuous function of the Kantorovich metric
引用
收藏
页码:102 / +
页数:2
相关论文
共 50 条
  • [1] Quantitative information flow in interactive systems
    Alvim, Mario S.
    Andres, Miguel E.
    Palamidessi, Catuscia
    JOURNAL OF COMPUTER SECURITY, 2012, 20 (01) : 3 - 50
  • [2] Information flow security for interactive systems
    Jin, Y
    Liu, L
    Zheng, XJ
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 1045 - 1054
  • [3] Quantifying information flow in interactive systems
    Mestel, David
    2019 IEEE 32ND COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2019), 2019, : 414 - 427
  • [4] Compositional Information-flow Security for Interactive Systems
    Rafnsson, Willard
    Sabelfeld, Andrei
    2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2014, : 277 - 292
  • [5] Interactive Information Flow (Invited Talk)
    Palamidessi, Catuscia
    Alvim, Mario S.
    Andres, Miguel E.
    AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISSUES IN THE THEORY OF SECURITY, 2010, 6186 : 111 - 111
  • [6] INFORMATION MANAGEMENT SYSTEM - INTERACTIVE INFORMATION MANAGEMENT SYSTEMS
    CHAI, DT
    WIER, JM
    BELL SYSTEM TECHNICAL JOURNAL, 1973, 52 (10): : 1681 - 1689
  • [7] INTERACTIVE INFORMATION-SYSTEMS - INFORMATION ACCESS AND RETRIEVAL
    OLIVER, R
    ELECTRONIC LIBRARY, 1995, 13 (03): : 187 - 194
  • [8] PROTOTYPING INTERACTIVE INFORMATION-SYSTEMS
    MASON, REA
    CAREY, TT
    INFORMATION & MANAGEMENT, 1983, 6 (03) : 183 - 183
  • [9] Design process of interactive information systems
    Mouloudi, Assia
    Morizet-Mahoudeaux, Pierre
    INTELLIGENT DECISION TECHNOLOGIES-NETHERLANDS, 2007, 1 (03): : 127 - 138
  • [10] INTERACTIVE DEVELOPMENT OF INFORMATION-SYSTEMS
    GELOVANI, VA
    BEZRUKOV, DI
    BRITKOV, VB
    GOLOSOV, AO
    TSALENKO, MS
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1986, 24 (05): : 24 - 42