Noninterference with Local Policies

被引：0
|
作者：
Eggert, Sebastian [1 ]
Schnoor, Henning [1 ]
Wilke, Thomas [1 ]
机构：
[1] Univ Kiel, Inst Informat, D-24098 Kiel, Germany
来源：
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013 | 2013年 / 8087卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We develop a theory for state-based noninterference in a setting where different security policies-we call them local policies-apply in different parts of a given system. Our theory comprises appropriate security definitions, characterizations of these definitions, for instance in terms of unwindings, algorithms for analyzing the security of systems with local policies, and corresponding complexity results.
引用
收藏
页码：337 / 348
页数：12
相关论文
共 50 条
  • [21] Noninterference and intrusion detection
    Ko, C
    Redmond, T
    2002 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2002, : 177 - 187
  • [22] Polymorphic Relaxed Noninterference
    Cruz, Raimil
    Tanter, Eric
    2019 IEEE SECURE DEVELOPMENT (SECDEV 2019), 2019, : 101 - 113
  • [23] Noninterference for concurrent programs
    Boudol, G
    Castellani, I
    AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 382 - 395
  • [24] THREAD ALGEBRA FOR NONINTERFERENCE
    Vu, Thuy Duong
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2009, 43 (02): : 249 - 268
  • [25] LOCAL STATION POLICIES
    Neumeyer, Martin H.
    SOCIOLOGY AND SOCIAL RESEARCH, 1940, 25 (01): : 89 - 90
  • [26] Local reconfiguration policies
    Millen, JK
    PROCEEDINGS OF THE 1999 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 1999, : 48 - 56
  • [27] Computational probabilistic noninterference
    Michael Backes
    Birgit Pfitzmann
    International Journal of Information Security, 2004, 3 (1) : 42 - 60
  • [28] Local reconfiguration policies
    Millen, Jonathan K.
    Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy, 1999, : 48 - 56
  • [29] A comparison of semantic models for noninterference
    van der Meyden, Ron
    Zhang, Chenyi
    FORMAL ASPECTS IN SECURITY AND TRUST, 2007, 4691 : 235 - +
  • [30] Reconciling noninterference and gradual typing
    de Amorim, Arthur Azevedo
    Fredrikson, Matt
    Jia, Limin
    PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 116 - 129
12345