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
来源：
CONCUR 2010 - CONCURRENCY THEORY | 2010年 / 6269卷
关键词：
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 条
  • [21] Information systems in modeling interactive computations on granules
    Skowron, Andrzej
    Wasilewski, Piotr
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (42) : 5939 - 5959
  • [22] Information enforcement and learning with interactive graphical systems
    Dobson, M
    LEARNING AND INSTRUCTION, 1999, 9 (04) : 365 - 390
  • [23] BUILDING RELIABLE INTERACTIVE INFORMATION-SYSTEMS
    WASSERMAN, AI
    PIRCHER, PA
    SHEWMAKE, DT
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (01) : 147 - 156
  • [24] The usability in the information use studies: in scene, users and interactive information systems
    da Costa, Luciana Ferreira
    Ramalho, Francisca Arruda
    PERSPECTIVAS EM CIENCIA DA INFORMACAO, 2010, 15 (01): : 92 - 117
  • [25] Flow of Information in Biological Systems
    Masoudi-Nejad, Ali
    Zenil, Hector
    SEMINARS IN CELL & DEVELOPMENTAL BIOLOGY, 2016, 51 : 1 - 2
  • [26] Information Flow in Credential Systems
    Becker, Moritz Y.
    2010 23RD IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2010, : 171 - 185
  • [27] Information flow in biomolecular systems
    van der Vaart, Arjan
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2010, 239
  • [28] Information flow in systems with schedulers
    van der Meyden, Ron
    Zhang, Chenyi
    CSF 2008: 21ST IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, PROCEEDINGS, 2008, : 301 - +
  • [29] Information Flow in Computational Systems
    Venkatesh, Praveen
    Dutta, Sanghamitra
    Grover, Pulkit
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2020, 66 (09) : 5456 - 5491
  • [30] SYSTEMS, BOUNDARIES, AND INFORMATION FLOW
    BROWN, WB
    ACADEMY OF MANAGEMENT JOURNAL, 1966, 9 (04): : 318 - 327
12345