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
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (03)
  • [2] Compositionality Results for Quantitative Information Flow
    Kawamoto, Yusuke
    Chatzikokolakis, Konstantinos
    Palamidessi, Catuscia
    [J]. QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2014, 2014, 8657 : 368 - 383
  • [3] Secure information flow connections
    Bhardwaj, Chandrika
    Prasad, Sanjiva
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 127
  • [4] Arrows for secure information flow
    Li, Peng
    Zdancewic, Steve
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1974 - 1994
  • [5] Information flow in secure contexts
    Bossi, Annalisa
    Macedonio, Damiano
    Piazza, Carla
    Rossi, Sabina
    [J]. 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.
    [J]. 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
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 46 - 61
  • [8] Principles of secure information flow analysis
    Smith, Geoffrey
    [J]. Malware Detection, 2007, : 291 - 307
  • [9] Array operations for secure information flow
    Yao, JB
    Li, JS
    [J]. PROCEEDINGS OF 2005 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-9, 2005, : 3884 - 3892
  • [10] SPLinux*: An Information Flow Secure Linux
    Vyas, Parjanya
    Shyamasundar, Rk
    Patil, Bhagyesh
    Borse, Snehal
    Sen, Satyaki
    [J]. 19TH IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA/BDCLOUD/SOCIALCOM/SUSTAINCOM 2021), 2021, : 1603 - 1612
12345