Information flow analysis for fail-secure devices

被引：0
|
作者：
机构：
[1] Rae, Andrew
[2] Fidge, Colin
来源：
Rae, A. (arae@itee.uq.edu.au) | 1600年 / Oxford University Press卷 / 48期
关键词：
Fault tolerant computer systems;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] A new type system for secure information flow
    Smith, G
    14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 115 - 125
  • [42] Secure information flow for a concurrent language with scheduling
    Barthe, Gilles
    Nieto, Leonor
    JOURNAL OF COMPUTER SECURITY, 2007, 15 (06) : 647 - 689
  • [43] Non-termination and secure information flow
    Smith, Geoffrey
    Alpizar, Rafael
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (06) : 1183 - 1205
  • [44] Supporting Secure Information Flow: An Engineering Approach
    Bracher, Shane
    Krishnan, Padmanabhan
    INTERNATIONAL JOURNAL OF E-COLLABORATION, 2012, 8 (01) : 17 - 35
  • [45] Secure information flow by self-composition
    Barthe, G
    D'Argenio, PR
    Rezk, T
    17TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2004, : 100 - 114
  • [46] A type system for computationally secure information flow
    Laud, P
    Vene, V
    FUNDAMENTALS OF COMPUTATIONAL THEORY, PROCEEDINGS, 2005, 3623 : 365 - 377
  • [47] LATTICE MODEL OF SECURE INFORMATION-FLOW
    DENNING, DE
    COMMUNICATIONS OF THE ACM, 1976, 19 (05) : 236 - 243
  • [48] Secure information flow as typed process behaviour
    Honda, K
    Vasconcelos, V
    Yoshida, N
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2000, 1782 : 180 - 199
  • [49] Dynamic dependency monitoring to secure information flow
    Shroff, Paritosh
    Smith, Scott F.
    Thober, Mark
    20TH IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSFS20), PROCEEDINGS, 2007, : 203 - +
  • [50] CERTIFICATION OF PROGRAMS FOR SECURE INFORMATION-FLOW
    DENNING, DE
    DENNING, PJ
    COMMUNICATIONS OF THE ACM, 1977, 20 (07) : 504 - 513
12345