Compositionality of Secure Information Flow

被引：0
|
作者：
Palamidessi, Catuscia [1 ]
机构：
[1] Ecole Polytech, INRIA, Palaiseau, France
来源：
MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS | 2010年 / 6120卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：19 / 19
页数：1
相关论文
共 50 条
  • [41] Secure information flow via linear continuations
    Zdancewic, Steve
    Myers, Andrew C.
    Higher-Order and Symbolic Computation, 2002, 15 (2-3) : 209 - 234
  • [42] Semantics and program analysis of computationally secure information flow
    Laud, P
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 77 - 91
  • [43] Java']Java bytecode verification for secure information flow
    Avvenuti, M
    Bernardeschi, C
    De Francesco, N
    ACM SIGPLAN NOTICES, 2003, 38 (12) : 20 - 27
  • [44] Typing access control and secure information flow in sessions
    Capecchi, Sara
    Castellani, Ilaria
    Dezani-Ciancaglini, Mariangiola
    INFORMATION AND COMPUTATION, 2014, 238 : 68 - 105
  • [45] Formal verification of secure information flow in cloud computing
    Zeng, Wen
    Koutny, Maciej
    Watson, Paul
    Germanos, Vasileios
    JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2016, 27-28 : 103 - 116
  • [46] SpecVerilog: Adapting Information Flow Control for Secure Speculation
    Zagieboylo, Drew
    Sherk, Charles
    Myers, Andrew C.
    Suh, G. Edward
    PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 2068 - 2082
  • [47] Information flow analysis for fail-secure devices
    Rae, A. (arae@itee.uq.edu.au), 1600, Oxford University Press (48):
  • [48] A secure information flow architecture for web service platforms
    College of Computing, Georgia Institute of Technology, 350043 Georgia Tech Station, Atlanta, GA 30332, United States
    不详
    不详
    IEEE Trans. Serv. Comput., 2008, 2 (75-87):
  • [49] A Framework for Secure Information Flow Analysis in Web Applications
    Adaimy, Ralph
    El-Hajj, Wassim
    Ben Brahim, Ghassen
    Hajj, Hazem
    Safa, Haidar
    2015 IEEE 29th International Conference on Advanced Information Networking and Applications (IEEE AINA 2015), 2015, : 434 - 441
  • [50] Caisson: A Hardware Description Language for Secure Information Flow
    Li, Xun
    Tiwari, Mohit
    Oberg, Jason K.
    Kashyap, Vineeth
    Chong, Frederic T.
    Sherwood, Timothy
    Hardekopf, Ben
    PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2011, : 109 - 120
12345