Secure information flow and CPS

被引：0
|
作者：
Zdancewic, S [1 ]
Myers, AC [1 ]
机构：
[1] Cornell Univ, Ithaca, NY 14853 USA
来源：
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2001年 / 2028卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style as a means of proving that such languages enforce non-interference and as a first step towards understanding their compilation. We present a low-level, secure calculus with higher-order, imperative features. Our type system makes novel use of ordered linear continuations.
引用
收藏
页码：46 / 61
页数：16
相关论文
共 50 条
  • [1] CPS transformation of flow information
    Palsberg, J
    Wand, M
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 (05) : 905 - 923
  • [2] Secure information flow connections
    Bhardwaj, Chandrika
    Prasad, Sanjiva
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 127
  • [3] Arrows for secure information flow
    Li, Peng
    Zdancewic, Steve
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1974 - 1994
  • [4] Information flow in secure contexts
    Bossi, Annalisa
    Macedonio, Damiano
    Piazza, Carla
    Rossi, Sabina
    [J]. JOURNAL OF COMPUTER SECURITY, 2005, 13 (03) : 391 - 422
  • [5] 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
  • [6] Compositionality of Secure Information Flow
    Palamidessi, Catuscia
    [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2010, 6120 : 19 - 19
  • [7] A simple CPS transformatoin of control-flow information
    Damian, D
    Danvy, O
    [J]. LOGIC JOURNAL OF THE IGPL, 2002, 10 (05) : 501 - 515
  • [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