Noninterference

被引：0
|
作者：
Podmore, W
机构：
来源：
NEW SCIENTIST | 2000年 / 166卷 / 2233期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：64 / 64
页数：1
相关论文
共 50 条
  • [1] Noninterference for Free
    Bowman, William J.
    Ahmed, Amal
    ACM SIGPLAN NOTICES, 2015, 50 (09) : 101 - 113
  • [2] Distributed Noninterference
    Matos, Ana Almeida
    Cederquist, Jan
    2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014), 2014, : 760 - 764
  • [3] Noninterference for Free
    Bowman, William J.
    Ahmed, Amal
    PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 101 - 113
  • [4] Reactive Noninterference
    Bohannon, Aaron
    Pierce, Benjamin C.
    Sjoeberg, Vilhelm
    Weirich, Stephanie
    Zdancewic, Steve
    CCS'09: PROCEEDINGS OF THE 16TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2009, : 79 - 90
  • [5] Formalizing Probabilistic Noninterference
    Popescu, Andrei
    Hoelzl, Johannes
    Nipkow, Tobias
    CERTIFIED PROGRAMS AND PROOFS, CPP 2013, 2013, 8307 : 259 - 275
  • [6] Strategic Noninterference
    Jamroga, Wojciech
    Tabatabaei, Masoud
    ICT SYSTEMS SECURITY AND PRIVACY PROTECTION, 2015, 455 : 67 - 81
  • [7] Simple Noninterference by Normalization
    Cortinas, Carlos Tome
    Valliappan, Nachiappan
    PROCEEDINGS OF THE 14TH ACM SIGSAC WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS '19), 2019, : 61 - 72
  • [8] What is intransitive noninterference?
    Roscoe, AW
    Goldsmith, MH
    PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, : 228 - 238
  • [9] A theory of noninterference for the π-calculus
    Crafa, S
    Rossi, S
    TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 2 - 18
  • [10] The Complexity of Intransitive Noninterference
    Eggert, Sebastian
    van der Meyden, Ron
    Schnoor, Henning
    Wilke, Thomas
    2011 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2011), 2011, : 196 - 211
12345