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 条
  • [1] ON THE COMPOSITIONALITY OF QUANTITATIVE INFORMATION FLOW
    Kawamoto, Yusuke
    Chatzikokolakis, Konstantinos
    Palamidessi, Catuscia
    LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (03)
  • [2] Compositionality Results for Quantitative Information Flow
    Kawamoto, Yusuke
    Chatzikokolakis, Konstantinos
    Palamidessi, Catuscia
    QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2014, 2014, 8657 : 368 - 383
  • [3] Secure information flow connections
    Bhardwaj, Chandrika
    Prasad, Sanjiva
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 127
  • [4] Arrows for secure information flow
    Li, Peng
    Zdancewic, Steve
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1974 - 1994
  • [5] Information flow in secure contexts
    Bossi, Annalisa
    Macedonio, Damiano
    Piazza, Carla
    Rossi, Sabina
    JOURNAL OF COMPUTER SECURITY, 2005, 13 (03) : 391 - 422
  • [6] Information Flow Secure CAmkES
    Goyal, Amit
    Garg, Akshat
    Gour, Digvijaysingh
    Shyamasundar, R. K.
    Sivakumar, G.
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, BIG DATA AND SECURITY (IOTBDS), 2021, : 237 - 244
  • [7] Secure information flow and CPS
    Zdancewic, S
    Myers, AC
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 46 - 61
  • [8] Principles of secure information flow analysis
    Smith, Geoffrey
    Malware Detection, 2007, : 291 - 307
  • [9] Array operations for secure information flow
    Yao, JB
    Li, JS
    PROCEEDINGS OF 2005 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-9, 2005, : 3884 - 3892
  • [10] Secure Information Flow as a Safety Property
    Boudol, Gerard
    FORMAL ASPECTS IN SECURITY AND TRUST, 2009, 5491 : 20 - 34
12345