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 条
  • [31] A Secure Information Flow Architecture for Web Services
    Singaravelu, Lenin
    Wei, Jinpeng
    Pu, Calton
    2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 1, 2008, : 182 - 189
  • [32] A uniform type structure for secure information flow
    Honda, K
    Yoshida, N
    ACM SIGPLAN NOTICES, 2002, 37 (01) : 81 - 92
  • [33] Verifying Secure Information Flow in Federated Clouds
    Zeng, Wen
    Koutny, Maciej
    Watson, Paul
    2014 IEEE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), 2014, : 78 - 85
  • [34] Information Flow Control for Secure Cloud Computing
    Bacon, Jean
    Eyers, David
    Pasquier, Thomas F. J. -M.
    Singh, Jatinder
    Papagiannis, Ioannis
    Pietzuch, Peter
    IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2014, 11 (01): : 76 - 89
  • [35] Secure information flow by self-composition
    Barthe, Gilles
    D'Argenio, Pedro R.
    Rezk, Tamara
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (06) : 1207 - 1252
  • [36] Secure information flow with random assignment and encryption
    School of Computing and Information Sciences, Florida International University, Miami, FL 33199, United States
    Proc. Fourth ACM Workshop Formal Methods Secur. Eng. FMSE Conf.Comput. Commun. Secur., 2006, (33-44):
  • [37] Stream Processing with Secure Information Flow Constraints
    Ray, Indrakshi
    Adaikkalavan, Raman
    Xie, Xing
    Gamble, Rose
    DATA AND APPLICATIONS SECURITY AND PRIVACY XXIX, 2015, 9149 : 311 - 329
  • [38] A uniform type structure for secure information flow
    Honda, Kohei
    Yoshida, Nobuko
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2007, 29 (06):
  • [39] Engineering Policies for Secure Interorganizational Information Flow
    Kunz, Steffen
    Fabian, Benjamin
    Marx, Daniel
    Mueller, Sebastian
    2011 15TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOC 2011), 2011, : 438 - 447
  • [40] Secure Refactoring with Java']Java Information Flow
    Helke, Steffen
    Kammuller, Florian
    Probst, Christian W.
    DATA PRIVACY MANAGEMENT, AND SECURITY ASSURANCE, 2016, 9481 : 264 - 272
12345