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 条
  • [1] Downgrading policies and relaxed noninterference
    Li, P
    Zdancewic, S
    ACM SIGPLAN NOTICES, 2005, 40 (01) : 158 - 170
  • [2] Noninterference with Dynamic Security Domains and Policies
    Grabowski, Robert
    Beringer, Lennart
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2009: INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2009, 5913 : 54 - 68
  • [3] End-to-end availability policies and noninterference
    Zheng, LT
    Myers, AC
    18TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2005, : 272 - 286
  • [4] LOCAL VARIABLES AND NONINTERFERENCE IN ALGOL-LIKE LANGUAGES
    TENNENT, RD
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 34 - 36
  • [5] Characterizing intransitive noninterference for 3-domain security policies with observability
    Ben Hadj-Alouane, N
    Lafrance, S
    Lin, F
    Mullins, J
    Yeddes, M
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2005, 50 (06) : 920 - 925
  • [6] Noninterference
    Podmore, W
    NEW SCIENTIST, 2000, 166 (2233) : 64 - 64
  • [7] Algorithmic Verification of Intransitive Noninterference for 3-domain Security Policies with a SAT Solver
    Liu Zhifeng
    Zhou Conghua
    Ge Yun
    Zhang Dong
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2013, 7 (05): : 1825 - 1835
  • [8] Noninterference for Free
    Bowman, William J.
    Ahmed, Amal
    ACM SIGPLAN NOTICES, 2015, 50 (09) : 101 - 113
  • [9] Distributed Noninterference
    Matos, Ana Almeida
    Cederquist, Jan
    2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014), 2014, : 760 - 764
  • [10] Noninterference for Free
    Bowman, William J.
    Ahmed, Amal
    PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 101 - 113
12345