Noninterference

被引：0
|
作者：
Podmore, W
机构：
来源：
NEW SCIENTIST | 2000年 / 166卷 / 2233期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：64 / 64
页数：1
相关论文
共 50 条
  • [21] Session Logical Relations for Noninterference
    Derakhshan, Farzaneh
    Balzer, Stephanie
    Jia, Limin
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [22] Noninterference with Local Policies
    Eggert, Sebastian
    Schnoor, Henning
    Wilke, Thomas
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013, 2013, 8087 : 337 - 348
  • [23] Testing Noninterference, Quickly
    Hritcu, Catalin
    Hughes, John
    Pierce, Benjamin C.
    Spector-Zabusky, Antal
    Vytiniotis, Dimitrios
    de Amorim, Arthur Azevedo
    Lampropoulos, Leonidas
    ACM SIGPLAN NOTICES, 2013, 48 (09) : 455 - 468
  • [24] Noninterference through flow analysis
    Honda, K
    Yoshida, N
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2005, 15 : 293 - 349
  • [25] What, indeed, is intransitive noninterference?
    van der Meyden, Ron
    JOURNAL OF COMPUTER SECURITY, 2015, 23 (02) : 197 - 228
  • [26] Hybrid Monitors for Concurrent Noninterference
    Askarov, Aslan
    Chong, Stephen
    Mantel, Heiko
    2015 IEEE 28TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM CSF 2015, 2015, : 137 - 151
  • [27] Dynamic intransitive noninterference revisited
    Eggert, Sebastian
    van der Meyden, Ron
    FORMAL ASPECTS OF COMPUTING, 2017, 29 (06) : 1087 - 1120
  • [28] Checking noninterference in Timed CSP
    Roscoe, A. W.
    Huang, Jian
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (01) : 3 - 35
  • [29] Session logical relations for noninterference
    Derakhshan, Farzaneh
    Balzer, Stephanie
    Jia, Limin
    arXiv, 2021,
  • [30] Algorithmic Verification of Noninterference Properties
    van der Meyden, Ron
    Zhang, Chenyi
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 168 : 61 - 75
12345